Rename "Metamath-Lamp" -> "Metamath lamp".

igorocky · igorocky · commit d60c0a6d65bf · 2023-04-24T00:11:56.000+02:00
diff --git a/public/index.html b/public/index.html
@@ -23,7 +23,7 @@
       work correctly both with client-side routing and a non-root public URL.
       Learn how to configure a non-root public URL by running `npm run build`.
     -->
-    <title>Metamath-Lamp</title>
+    <title>Metamath lamp</title>
   </head>
   <body>
     <noscript>You need to enable JavaScript to run this app.</noscript>
diff --git a/public/manifest.json b/public/manifest.json
@@ -1,5 +1,5 @@
 {
-  "short_name": "Metamath-Lamp",
+  "short_name": "Metamath lamp",
   "name": "Lite Assistant for Metamath Proofs",
   "icons": [
     {

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "short_name": "Metamath-Lamp",`
	`2`	`+ "short_name": "Metamath lamp",`
`3`	`3`	`"name": "Lite Assistant for Metamath Proofs",`
`4`	`4`	`"icons": [`
`5`	`5`	`{`