[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Version control for models?
On 04.01.21 08:00, steve....@xxxxxxxxxx wrote:
I'm working on a model, keeping the .tla files in version control but
I'm wondering what to do about the model configurations. I see that
they're available under a X.toolbox/ directory. Should I just add
/Module/.toolbox//ModelName// to my version control and ignore all the
I hesitate to use the term "Best Practice", so I'll settle for "Good
for git I use this: https://github.com/github/gitignore/pull/3613
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 view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/9ede70a3-8726-88e9-1168-c6ebfff66dcd%40lemmster.de.