Jason Grout 794aac6b69 Publish vor 6 Jahren
..
schema ce4a256288 Add extension manager menu item. vor 6 Jahren
src fee359b533 Remove menu option and only allow changing the setting via setting editor. vor 6 Jahren
package.json 794aac6b69 Publish vor 6 Jahren
tsconfig.json 69de068666 Initial move of extension manager TS code vor 6 Jahren