I like the ElasticSearch gitignore: https://github.com/elastic/elasticsearch-formal-models/blob/master/.gitignoreHi, 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?
-- 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/eb1af5ff-9945-27f0-6592-21564c5aad3c%40gmail.com. For more options, visit https://groups.google.com/d/optout.