Merge pull request #2 from ouvroir/bot

Intégration de bot: et ajouts relations topologiques
ouvroir · Sep 22, 2023 · bca6ffc · bca6ffc
2 parents c3b988c + b85b15b
commit bca6ffc
Show file tree

Hide file tree

Showing 2 changed files with 200 additions and 57 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1 +1,5 @@
-ontologies/
+# catalogue d'ontologies utiles
+ontologies/
+
+# log de Protege
+catalog-v001.xml