org.overturetool.ide.plugins.features:p2artifacts.xml

MD5: 70a63822df3ab711d1d73c6dcec75481
Introduced 9 mo 23 days ago Successoverture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreter #266

Usage

This file has been used in the following places:

overture-development/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.quickinterpreterSuccess#266