[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Version control for models?
Next question. I'd like to use the Eclipse plugins for version control. I can't see how to add the git plugin to the Toolbox and I'm too #lazyweb to figure out how to add the Toolbox to a standard Eclipse installation. Can someone help me with a link?
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/2c06a7e9-3de9-459b-a543-5c32add462a7n%40googlegroups.com.