docs/gitignore
docs/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore synced 2025-07-04 04:18:26 +02:00
Code Issues Releases Wiki Activity

Merge 9fece05647 into 524ae7b4c7

Browse source
This commit is contained in:
Markus Alexander Kuppe 2025-07-01 19:10:15 +02:00 • committed by GitHub
commit 73c5f5b63b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 24 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

24
TLA+.gitignore Normal file
View file

@ -0,0 +1,24 @@
## Blacklist all files
*
## Whitelist TLA+ files
!*.tla
## Whitelist TLC model config and results
!*.cfg
!*.out ## Usually .out files are small
## Whitelist Toolbox model metadata
!*.launch
## Whitelist Toolbox spec metadata
!.project
!*.prefs
## Whitelist all folders
!*/
## Blacklist TLAPS cache folder
## See https://github.com/tlaplus/tlapm/issues/16
__tlacache__
.tlacache