terminal: remove unused placeholder element

2023-07-18 17:18:19 +02:00
parent 1affadad8e
commit 9399b430d6
1 changed files with 1 additions and 1 deletions
@@ -47,7 +47,7 @@
      </TopBar>
    </template>
    <template #body>
-      <div id="terminal"></div>
+      <!-- terminal will be injected here -->
    </template>
    <template #footer>
      <FileUploader