[gitignore] add protege files

sarthou · Dec 6, 2023 · 8f5eb82 · 8f5eb82
1 parent ac029ad
commit 8f5eb82
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -45,6 +45,7 @@
 /file_intern/*
 
 *.pyc
+catalog-v*
 
 # VsCode files
 settings.json