Ignore Protégé-generated properties-files

emmo-repo · Oct 30, 2023 · e32b25c · e32b25c
1 parent d47bf00
commit e32b25c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -13,5 +13,7 @@ __pycache__
 dist/
 site/
 
+*.properties
+
 !test-cif/**/*.cif
 !tests/**/*.dic