1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-21 12:29:23 +01:00
Matthijs Kooijman e994c52729 Don't store the extension in SketchCode
Nobody was using it anymore, except for checking against specific
extensions, which is easily done against the filename itself. This
prepares for some simplification of Sketch.load next.
2014-11-13 16:18:40 +01:00
..
2012-01-11 13:59:39 +01:00
2012-12-04 11:54:19 +01:00
2014-01-27 16:06:55 +01:00
2014-08-18 16:09:03 +02:00