mirror of
https://github.com/wavetermdev/dev.commandline.waveterm.git
synced 2026-08-05 13:46:53 -07:00
@@ -1,7 +1,7 @@
|
|||||||
app-id: com.visualstudio.code
|
app-id: com.visualstudio.code
|
||||||
default-branch: stable
|
default-branch: stable
|
||||||
runtime: org.freedesktop.Sdk
|
runtime: org.freedesktop.Sdk
|
||||||
runtime-version: '19.08'
|
runtime-version: '20.08'
|
||||||
sdk: org.freedesktop.Sdk
|
sdk: org.freedesktop.Sdk
|
||||||
command: code
|
command: code
|
||||||
tags: [proprietary]
|
tags: [proprietary]
|
||||||
|
|||||||
Reference in New Issue
Block a user