42a58afbde
* Extension: Show team relevant repo management buttons * fix formatting * Fix: Actually delete team repo contents Was passing incomplete path to remove API * Extra logging * Formatting * Fix path on windows * Remove logs --------- Co-authored-by: orosmatthew <orosmatthew@pm.me> |
||
---|---|---|
.. | ||
contestMonitor | ||
utilities | ||
extension.ts | ||
getNonce.ts | ||
outputPanelLog.ts | ||
problemPanel.ts | ||
sharedTypes.ts | ||
SidebarProvider.ts | ||
submit.ts | ||
teamRepoManager.ts |