Ivan Kravets ae57829190 Generate user agent based on PIO Core environment

2020-04-10 17:59:58 +03:00

..

__init__.py

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

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

core.py

Rename PIO Plus to Professional

2020-02-21 15:44:24 +02:00

lib.py

Improved support for Arduino "library.properties" `depends` field

2020-03-07 17:44:28 +02:00

package.py

Generate user agent based on PIO Core environment

2020-04-10 17:59:58 +03:00

platform.py

Initial support for menuconfig target

2020-03-03 00:58:07 +02:00