diff --git a/.gitignore b/.gitignore index 6b354dc9f9c..b9f13fb780f 100644 --- a/.gitignore +++ b/.gitignore @@ -28,6 +28,7 @@ schematrons/.build docs/*/users/build docs/schema-loc-*.rst web/src/main/webapp/WEB-INF/server.prop +*.bak *.iml .*/ */.* diff --git a/add-schema.sh b/add-schema.sh old mode 100644 new mode 100755