From 4c0c957ca0ed069612b12f620e1fc15f0654c1e8 Mon Sep 17 00:00:00 2001 From: Robin Nolte Date: Fri, 13 May 2022 17:37:00 +0200 Subject: [PATCH] cleared two mixed up merge requests --- .gitignore | 1 + owl/catalog-v001.xml | 14 -------------- 2 files changed, 1 insertion(+), 14 deletions(-) delete mode 100644 owl/catalog-v001.xml diff --git a/.gitignore b/.gitignore index 831c9e7f..18f82696 100644 --- 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 deleted file mode 100644 index 0e080e13..00000000 --- a/owl/catalog-v001.xml +++ /dev/null @@ -1,14 +0,0 @@ - - - - - - - - - - - - - -