diff --git a/doc/notes.txt b/doc/notes.txt index e9f5cc80..669119fe 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -143,6 +143,8 @@ TODO: - what if files already open in editor - import twice? - un-bind from repo? + - repo/platform dichotomy + - navigate to/from repo WEB WORKER FORMAT diff --git a/index.html b/index.html index 13db4f22..55bef9d4 100644 --- a/index.html +++ b/index.html @@ -67,8 +67,6 @@ if (window.location.host.endsWith('8bitworkshop.com')) {