Open eugenschindler opened 1 year ago
I can't find anything like that in the Git history. Are you confusing it with the old de.slisson.mps.all
plugin that contained the build script? We removed this plugin because we renamed it to de.itemis.mps.extensions.build
.
I seem to recall that we used to have a nice "container plugin" with a dependency to all MPS extensions which enables convenient installation of all MPS Extensions at once. Now I can't seem to find it anymore. Did it get lost somewhere? I still think it's a good idea to have such a plugin. @mvlassiev do you remember?