From 8f5eb828329a9cc9571d37b005c3cdb26cd96162 Mon Sep 17 00:00:00 2001
From: Guillaume Sarthou <gsarthou@laas.fr>
Date: Wed, 6 Dec 2023 20:47:28 +0100
Subject: [PATCH] [gitignore] add protege files

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index ee3d879b..ef2ef609 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,6 +45,7 @@
 /file_intern/*
 
 *.pyc
+catalog-v*
 
 # VsCode files
 settings.json
\ No newline at end of file