jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-15 05:09:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
253 Commits 31 Branches 52 Tags
b1388be5f93af281c27d0d50a652fae57b4d59b5
Commit Graph

4 Commits

Author SHA1 Message Date
Miro Spönemann
aa4f216544 Restart the language server when the board is changed 2019-10-02 13:16:10 +02:00
Miro Spönemann
09243ff74d Added JSON-RPC message to send the board configuration to the language server 2019-09-18 09:46:07 +02:00
Miro Spönemann
7d04c7efb8 Added language contribution for ino files 2019-09-06 14:14:35 +02:00
Christian Weichel
201351fea8 Moving repo to bmci-labs 2019-05-06 10:25:29 +02:00