restarting the search

[imago.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 86dba7c..69eff07 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 *.pyc
+*.so
 saved
 captured
 doc/*.aux
@@ -6,3 +7,4 @@ doc/*.log
 doc/*.out
 doc/*.pdf
 doc/*.synctex.gz
+doc/_build