add xtermjs

tedpatrick · tedpatrick · commit 5139f8b4ba8d · 2022-11-08T13:28:35.000-06:00
diff --git a/tech-preview/micropython/repl.html b/tech-preview/micropython/repl.html
@@ -5,6 +5,7 @@
     <meta charset="UTF-8">
     <meta name="viewport" content="width=device-width, initial-scale=1.0">
     <link href="final.css" rel="stylesheet">
+    <script src="xterm.js"></script>
 </head>
 
 <body class="bg-gray-400 dark:bg-gray-700">
