Ivan Kravets 77fe1e8184 Use -ggdb3 instead of -ggdb by default

2017-09-18 14:06:16 +03:00

..

tools

Use -ggdb3 instead of -ggdb by default

2017-09-18 14:06:16 +03:00

__init__.py

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

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

main.py

New lib_archive option to control library archiving and linking behaviour // Resolve #993

2017-08-02 01:06:06 +03:00