GitIgnore File for tlaplus

Create a .gitignore file to tell git which files or folders to ignore in your tlaplus project.

# Created by https://Shodkk.com/create-gitignore (Shantanu Bombatkar) SirDeploy Package
# It helps deploy fakeserver ReactApp on Heroku and Github Pages
#  Hope it helps || Thanks for Using SirDeploy Package

### TLA+ ###
# Reference: https://github.com/jameshfisher/tlaplus/blob/master/.gitignore

# TLA+ Toolbox
# Exclude all files related to TLA+ Toolbox
# *.toolbox/**

*.toolbox/*.launch
*.toolbox/*.pmap

# TLA+ Toolbox models
*.toolbox/**/*.tla
*.toolbox/**/*.out
*.toolbox/**/*.cfg

# PlusCal
*.old

# LaTex output
*.toolbox/*aux
*.toolbox/*.log
*.toolbox/*.pdf
*.toolbox/*.tex
*aux
*.log
*.pdf
*.tex

# Vim backup file
*~

 # Star the Repo https://github.com/shaantanu9/SirDeploy
# https://www.linkedin.com/in/shantanu-bombatkar/ 
# End of File
Download tlaplus.gitignore

List Of Files and Folders That Get Ignored using this Gitignore code

Above Code Helps ignore following files from tlaplus Project

Reference: https://github.com/jameshfisher/tlaplus/blob/master/.gitignore

TLA+ Toolbox

Exclude all files related to TLA+ Toolbox

*.toolbox/**

TLA+ Toolbox models

PlusCal

LaTex output

Vim backup file

If you have any questions or suggestions please feel free to contact us


Feedback is the most important part of any website.

If you have any query, suggestion or feedback, Please feel free to contact us.