Backup_Repos/code-server
1
0
Fork 0
mirror of https://github.com/cdr/code-server.git synced 2025-12-06 16:34:35 +01:00
Code Issues Projects Releases Wiki Activity
1415 commits 24 branches 215 tags 153 MiB
Commit graph

4 commits

Author SHA1 Message Date
Anmol Sethi
fed545e67d
plugin.d.ts -> pluginapi.d.ts 
More clear.
 2020-11-06 10:12:46 -05:00
Anmol Sethi
6638daf6f0
plugin.d.ts: Add explicit path field and adjust types to reflect 
See my discussion with Will in the PR.
 2020-11-06 10:12:46 -05:00
Anmol Sethi
8d3a7721fe
plugin.d.ts: Document plugin priority correctly 2020-11-06 10:12:46 -05:00
Anmol Sethi
aa2cfa2c17
typings/plugin.d.ts: Create 2020-11-06 10:11:57 -05:00