jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-11 03:09:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
b55cfc20525864fdc711e9c31ddf16c0c12a8aeb
arduino-ide/arduino-ide-extension/scripts/downloader.js
Akos Kitta 57841b3c0a #714: Use the build cache to speed up the LS (#1107) 
* Notify the LS about the new `build_path` after verify.

Closes #714

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
2022-07-18 10:19:00 +02:00

3.8 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink