Richie Cahill 107a9387bd improved extension_installer.py and renamed it to extension_manager.py

2024-07-05 20:27:40 +00:00

..

default.nix

created gui dir

2024-06-09 21:30:48 +00:00

extension_manager.py

improved extension_installer.py and renamed it to extension_manager.py

2024-07-05 20:27:40 +00:00

keybindings.json

created gui dir

2024-06-09 21:30:48 +00:00

settings.json

vscode setting update

2024-06-29 13:25:33 +00:00