Compare commits

..

1 Commits

Author SHA1 Message Date
Habetdin
79e6a0946f
Merge e7a14e38da into 4d89c5d3e2 2026-04-18 08:19:07 +00:00
3 changed files with 1 additions and 15 deletions

View File

@ -16,8 +16,7 @@
rad.json
#Translation Base-file
*.g.xlf
#License-files
*.bclicense
#License-file
*.flf
#Test results file
TestResults.xml

View File

@ -1,2 +0,0 @@
.sisyphus/*
!.sisyphus/rules/

View File

@ -1,11 +0,0 @@
*Script
# Holmake generated files
*Theory.sig
*Theory.sml
*.uo
*.ui
# Holmake auxiliary files
.hollogs
.HOLMK