Ivan Kravets e9cf551101 Added a new --lint option to the pio project config command // Resolve #4644

2023-06-20 14:25:30 +03:00

..

__init__.py

Regroup "pio project" command

2022-05-14 13:41:20 +03:00

config.py

Added a new --lint option to the pio project config command // Resolve #4644

2023-06-20 14:25:30 +03:00

init.py

Minor fixes

2023-05-04 23:13:10 +03:00

metadata.py

Improved support for projects located on Windows network drives // Resolve #3417

2023-04-20 18:57:22 +03:00