waveterm/dev.commandline.waveterm
0
0
Fork 0
mirror of https://github.com/wavetermdev/dev.commandline.waveterm.git synced 2026-08-05 13:46:53 -07:00
Code Issues Packages Projects Releases Wiki Activity

Use runtime branch for tools ext

Browse Source
This commit is contained in:
gasinvein
2020-09-12 15:07:37 +03:00
parent ad92428b18
commit 7ea2292b78
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
com.visualstudio.code.yaml
+1
View File
@@ -30,6 +30,7 @@ add-extensions:
com.visualstudio.code.tool: com.visualstudio.code.tool:
directory: tools directory: tools
subdirectories: true subdirectories: true
version: '19.08'
add-ld-path: lib add-ld-path: lib
no-autodownload: true no-autodownload: true
cleanup: cleanup: