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

Merge pull request #180 from gasinvein/tools-runtime-branch

Browse Source 
Use runtime branch for tools extensions
This commit is contained in:
Nick Richards
2020-09-17 14:00:33 +01:00
committed by GitHub
parent fa961e2e62 7aa44831ce
commit f6591791d0
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:
directory: tools
subdirectories: true
version: '20.08'
add-ld-path: lib
no-autodownload: true
cleanup: