Merge pull request #1041 from robbert-harms/master

satra · satra · commit 98498dad213e · 2015-02-05T15:01:57.000-05:00
Git ignore add documentation.zip as ignored
diff --git a/.gitignore b/.gitignore
@@ -13,3 +13,4 @@
 .settings
 .pydevproject
 .idea/
+/documentation.zip
