redirect after main file imported

2026-04-25 18:47:56 +00:00 · 2019-05-08 13:42:24 -04:00
parent 4cc9aaeaca
commit 19d145bbd5
4 changed files with 65 additions and 16 deletions
@@ -143,7 +143,6 @@ TODO:
  - what if files already open in editor
  - import twice?
  - un-bind from repo?
-  - login/logout?


 WEB WORKER FORMAT