Merge remote-tracking branch 'origin/master' into array_updates

latex3 · Nov 6, 2017 · badfced · badfced
2 parents d57f9c3 + 5aae3b8
commit badfced
Show file tree

Hide file tree

Showing 3 changed files with 418 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1 +1,2 @@
 * text=auto !eol
+trunk/required/babel/babel.pdf -text
diff --git a/.gitignore b/.gitignore
@@ -1 +1,2 @@
+build/
 /.consign