delete derived resources

guizhiwei520 · Feb 16, 2016 · e5784fe · e5784fe
1 parent 58e9395
commit e5784fe
Show file tree

Hide file tree

Showing 158 changed files with 2 additions and 39,573 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,5 @@
 build*
 install
 *~
+/doc/latex
+/doc/html
diff --git a/doc/html/annotated.html b/doc/html/annotated.html
diff --git a/doc/html/bc_s.png b/doc/html/bc_s.png
diff --git a/doc/html/classes.html b/doc/html/classes.html
diff --git a/doc/html/closed.png b/doc/html/closed.png