changed the title of the page

hipsleek · Apr 18, 2023 · 65f209b · 65f209b
1 parent ce67cfa
commit 65f209b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/web/index.html b/web/index.html
@@ -4,7 +4,7 @@
 <head>
   <meta charset="utf-8">
   <meta name="viewport" content="width=device-width, initial-scale=1">
-  <title>z3 hello</title>
+  <title>ESL Demo</title>
   <script src="coi-serviceworker.min.js"></script>
   <script type="text/javascript" src="z3-built.js"></script>
   <script type="text/javascript" src="bundle.js"></script>