[tlaplus] .gitignore file for TLA+

[Vignesh <vignesh.viki@xxxxxxxxx>]

Hi,

I am trying to create a .gitignore file for my TLA+ spec files folder.

TLA+ toolbox generates a specname.toolbox folder for every Model and looks like it creates a new sub folder inside the specname.toolbox folder for every run. There is also a settings file.

Does anyone have a reference .gitnore file that I can use?

I looked at https://github.com/tlaplus/Examples and its .gitignore file doesn't ignore all the generated files.

Thanks,

Vignesh.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CAKwG_2XownAhNFbbdXjGV8VduccdDwXO1jz3M0P0APKuMMMGUQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.