Upload the new docs sources.

Arian Fornaris · Arian Fornaris · commit 9363d2d046d4 · 2017-06-22T11:26:33.000-04:00
diff --git a/.gitignore b/.gitignore
@@ -19,4 +19,4 @@ hs_err_pid*
 *.exe
 *.zip
 *.dylib
-
+*.DS_Store

-Original file line number
+Diff line change
 *.exe
 *.zip
 *.dylib
+-
 +*.DS_Store