Browse code

Merge "git-ignore files generated by "./tools/build_docs.sh .""

Jenkins authored on 2013/10/31 23:16:52
Showing 1 changed files
... ...
@@ -13,3 +13,5 @@ stack-screenrc
13 13
 accrc
14 14
 .stackenv
15 15
 .prereqs
16
+docs/
17
+docs-files