Version 1.1.8

gap-packages · Jun 10, 2018 · f85b3bd · f85b3bd
1 parent 7bd5d6a
commit f85b3bd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -19,6 +19,7 @@
 /doc/*.toc
 /doc/manual.pdf
 /doc/title.xml
+/doc/*~
 
 /tmp
 /gh-pages

diff --git a/version b/version
@@ -1 +1 @@
-1.1.8
+1.1.8