Add docs/html_docs to gitignore

immon · Aug 12, 2020 · c2d9187 · c2d9187
1 parent a2e5bb1
commit c2d9187
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,2 @@
 .DS_Store
+docs/html_docs