add svg logo; modify gitignore; removepublic/index.html

leanprover-community · Oct 27, 2023 · d98daa9 · d98daa9
1 parent b93d449
commit d98daa9
Show file tree

Hide file tree

Showing 3 changed files with 91 additions and 28 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,3 +3,4 @@ client/dist
 server/build
 client/public/package_versions.json
 dist
+**/.DS_Store
diff --git a/client/public/index.html b/client/public/index.html
diff --git a/client/src/assets/logo.svg b/client/src/assets/logo.svg