Remove local build modifications

Signed-off-by: Jay Wang <[email protected]>
poloclub · Oct 3, 2023 · 864881c · 864881c
1 parent e7b4107
commit 864881c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,4 +4,5 @@ test*.ipynb
 Pipfile.lock
 explorer/*/*.ndjson
 _site
-Gemfile.lock
+Gemfile.lock
+Gemfile
diff --git a/Gemfile b/Gemfile
diff --git a/_config.yml b/_config.yml
@@ -1,4 +1,3 @@
-theme: just-the-docs
 remote_theme: just-the-docs/just-the-docs
 title: 'DiffusionDB'