diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2023-05-22 06:31:04 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2023-05-22 06:31:04 +0300 |
| commit | 786e8078e4802748e7bb60920dffa862135ae946 (patch) | |
| tree | d42ce78b9a58e43806b3c3d1ae8810c8f6af3cbf /IDEAInspectionsProfile.xml | |
| parent | 7706c3c37e2042d1b36744aae45c901f475c7c9c (diff) | |
pio_ini.py: platformio.ini generation improvements
Diffstat (limited to 'IDEAInspectionsProfile.xml')
0 files changed, 0 insertions, 0 deletions