Removed derivated files from repository.

massimo-zaniboni · Nov 13, 2011 · 58a86cb · 58a86cb
1 parent e36b78e
commit 58a86cb
Show file tree

Hide file tree

Showing 51 changed files with 298 additions and 11,201 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,4 +4,7 @@ cache/*
 web/generated_graphs/*
 web/*.lock
 TAGS
+doc/src/_build/doctrees/*
+doc/src/doctrees/*
+web/help/.buildinfo
 
diff --git a/doc/src/_build/doctrees/environment.pickle b/doc/src/_build/doctrees/environment.pickle
diff --git a/doc/src/_build/doctrees/index.doctree b/doc/src/_build/doctrees/index.doctree
diff --git a/doc/src/_build/html/.buildinfo b/doc/src/_build/html/.buildinfo