untrack coverage report

openoereb · Nov 29, 2023 · 19de3da · 19de3da
1 parent 1e310c0
commit 19de3da
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 280 deletions.
diff --git a/.gitignore b/.gitignore
@@ -81,6 +81,7 @@ DataExtract.json
 
 /coverage.contrib-data_sources-standard.xml
 /coverage.contrib-data_sources-interlis.xml
+/coverage.contrib-data_sources-oereblex.xml
 /coverage.contrib-print_proxy-mapfish_print.xml
 /coverage.core.xml
 /coverage.contrib-stats.xml

diff --git a/coverage.contrib-data_sources-oereblex.xml b/coverage.contrib-data_sources-oereblex.xml