server: boundary_finder plumbing

[hippotat.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index ea8c4bf7f35f6f77f75d92ad8ce8349f6e81ddba..812defb989256412792ab0c70f8fe1dceb112a60 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,4 @@
 /target
+/docs/html
+/docs/doctrees
+/stamp