Revert "Remove @PlatformIO library.json from GDBStub; fix pattern in LD"#4393

Merged

ivankravets merged 1 commit intomasterfrom

ivankravets-patch-2

Feb 19, 2018

Commits on Feb 19, 2018

Revert "Remove @PlatformIO library.json from GDBStub; fix pattern in LD"
ivankravets
authored