Added hidden files to .gitignore

torodb · Nov 3, 2016 · 22a915a · 22a915a
1 parent a70b6a9
commit 22a915a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,3 +11,4 @@ target/
 hs_err*.log
 /documentation/static
 /documentation/site
+.DS_Store
diff --git a/documentation/css/8kdata.css b/documentation/css/8kdata.css
@@ -0,0 +1,3 @@
+li a.toctree-l4 {
+  display: none;
+}