Ivan Kravets c5177efd0b Minor fixes

2019-06-01 22:24:38 +03:00

..

tools

Minor fixes

2019-06-01 22:24:38 +03:00

__init__.py

Copyright (c) 2014-present PlatformIO <contact@platformio.org>

2017-06-05 16:02:39 +03:00

main.py

Maintain renamed options when reading configuration file

2019-06-01 16:58:14 +03:00