jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-11 19:29:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
90d2950bdd28d9e2d44d79b0cfc2df539a67904a
arduino-ide/arduino-ide-extension/scripts/utils.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

2.8 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink