From fe71920e2b691aa06576d8cef897aa5e23925010 Mon Sep 17 00:00:00 2001 From: Raphael Forment Date: Sun, 3 Sep 2023 12:29:28 +0200 Subject: [PATCH] light cosmetic tweaks --- index.html | 6 +++--- src/main.ts | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) 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 = - "