Ignoring gh-pages worktree folder

nathancarter · Oct 28, 2018 · 9234006 · 9234006
1 parent 684778b
commit 9234006
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -23,3 +23,5 @@ doc/*.six
 doc/*.tex
 doc/*.toc
 doc/*.txt
+gh-pages/
+tmp/