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> |
||
---|---|---|
.. | ||
ProblemPanel.svelte | ||
Sidebar.svelte | ||
SidebarProblemStatus.svelte |