cleared two mixed up merge requests

ease-crc · May 13, 2022 · 4c0c957 · 4c0c957
1 parent 50c0992
commit 4c0c957
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 14 deletions.
diff --git a/.gitignore b/.gitignore
@@ -32,6 +32,7 @@
 *.zip
 
 # ignore generated files
+*catalog-v001.xml
 *EASE-UGLY.owl
 SOMA.owl
 build
diff --git a/owl/catalog-v001.xml b/owl/catalog-v001.xml