Merge pull request #18 from romildo/develop

Develop
romildo · Oct 17, 2016 · 165dfe1 · 165dfe1
2 parents 8e9cd17 + cc33f0c
commit 165dfe1
Show file tree

Hide file tree

Showing 5 changed files with 1,242 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -8,6 +8,9 @@ target/*
 # -- IntelliJ IDEA
 .idea
 
+# Latex build
+doc/_build
+
 # -- Emacs
 *~