diff options
| author | Federico Fissore <f.fissore@arduino.cc> | 2015-06-15 15:30:37 +0200 |
|---|---|---|
| committer | Federico Fissore <f.fissore@arduino.cc> | 2015-06-29 15:11:45 +0200 |
| commit | 92bedd86b8a3b6c2fcdacd4b625193de48d9a69d (patch) | |
| tree | 12edc12d44abb437884629726d34dedafc023004 /platform.txt | |
| parent | 695d48cc79be523ea2ab64573f4aac011a056496 (diff) | |
Compiler: cores files get compiled under "core", libraries under "libraries". Fixes #2997
Diffstat (limited to 'platform.txt')
0 files changed, 0 insertions, 0 deletions