Add basic meta tag

will62794 · Dec 10, 2024 · 82ffbc5 · 82ffbc5
1 parent 23a7910
commit 82ffbc5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.html b/index.html
@@ -11,6 +11,7 @@
 <head>
     <meta charset="utf-8">
     <title>TLA+ Web Explorer</title>
+    <meta name="description" content="An interactive, web-based environment for exploring and sharing TLA+ specifications.">
     <!-- <link rel="icon" type="image/x-icon" href="assets/favicon.ico"> -->
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/codemirror/5.45.0/codemirror.min.css">
     <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/clusterize.js/0.18.0/clusterize.min.css">