Ivan Kravets cba2f4d7b6 Remove ProjectConfig cache when "platformio.ini" was modified outside

2019-08-25 18:37:14 +03:00

..

__init__.py

Include external configuration files with "extra_configs" option // Resolve #1590

2019-05-03 21:03:36 +03:00

config.py

Remove ProjectConfig cache when "platformio.ini" was modified outside

2019-08-25 18:37:14 +03:00

helpers.py

Encode PIO Core version before hashing // Resolve #2916

2019-08-17 21:06:15 +03:00

options.py

Shared cache directory for the build derived files // Resolve #2674

2019-06-15 18:53:13 +03:00