Merge e7a14e38da into 4d89c5d3e2

2026-11-06 10:00:40 +01:00 · 2026-04-18 08:19:07 +00:00
3 changed files with 1 additions and 15 deletions
@@ -16,8 +16,7 @@
 rad.json
 #Translation Base-file
 *.g.xlf
-#License-files
-*.bclicense
+#License-file
 *.flf
 #Test results file
 TestResults.xml
@@ -1,2 +0,0 @@
-.sisyphus/*
-!.sisyphus/rules/
@@ -1,11 +0,0 @@
-*Script
-
-# Holmake generated files
-*Theory.sig
-*Theory.sml
-*.uo
-*.ui
-
-# Holmake auxiliary files
-.hollogs
-.HOLMK