waveterm/dev.commandline.waveterm
0
0
Fork 0
mirror of https://github.com/wavetermdev/dev.commandline.waveterm.git synced 2026-04-22 15:27:29 -07:00
Code Issues Packages Projects Releases Wiki Activity

Set tool ext branch to 20.08

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