diff --git a/index.html b/index.html index 459925e..90f1b49 100644 --- a/index.html +++ b/index.html @@ -152,7 +152,7 @@
- diff --git a/src/main.ts b/src/main.ts index 1c21a68..f6eb268 100644 --- a/src/main.ts +++ b/src/main.ts @@ -711,7 +711,7 @@ export class Editor { let existing_universes = document.getElementById("existing-universes"); let known_universes = Object.keys(this.universes); let final_html = - "