gitignore

KeYProject · Dec 9, 2023 · 7605611 · 7605611
1 parent f6138c0
commit 7605611
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -51,3 +51,8 @@ buildNumber.properties
 .mvn/wrapper/maven-wrapper.jar
 
 # End of https://www.toptal.com/developers/gitignore/api/maven
+
+
+.polyglot.feature.xml
+.polyglot.META-INF
+.polyglot.category.xml