Merge branch 'master' into add-support-for-delft-layout-features

kermitt2 · Aug 21, 2019 · 71d5730 · 71d5730
2 parents 365a894 + 17d83dd
commit 71d5730
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 264 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,5 @@
 target
+bin
 grobid-home/tmp
 .DS_Store
 Thumbs.db

diff --git a/bin/pom2gradle.sh b/bin/pom2gradle.sh
diff --git a/bin/pom2gradle.xq b/bin/pom2gradle.xq
diff --git a/bin/saxon9he.jar b/bin/saxon9he.jar