3861: Remove deprecated plugins
- Moved to https://git.fortiss.org/af3/verification org.fortiss.af3.msc org.fortiss.af3.msc.ui org.fortiss.af3.ocra org.fortiss.af3.refinement org.fortiss.af3.refinement.ui org.fortiss.af3.specification org.fortiss.af3.specification.ui org.fortiss.af3.testing org.fortiss.af3.testing.ui org.fortiss.af3.tools org.fortiss.pragmatictransformation
- Moved to https://git.fortiss.org/af3/beaglebone org.fortiss.af3.beaglebone org.fortiss.af3.beaglebone.ui
Issue-Ref: 3861 Issue-Url: https://af3-developer.fortiss.org/issues/3861
Signed-off-by: Simon Barner barner@fortiss.org