docs/gitignore
docs/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore synced 2024-11-22 19:54:22 +01:00
Code Issues Releases Wiki Activity

Create TLA+ gitignore file

Browse Source 
https://lamport.azurewebsites.net/tla/tla.html
This commit is contained in:
Markus Alexander Kuppe 2021-01-04 11:12:35 -08:00 committed by GitHub
parent 218a941be9
commit 9fece05647
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 24 additions and 0 deletions
Show Stats 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