org.overturetool.ide.plugins:p2artifacts.xml

MD5: d4e8baf03d446979d0b514434c258c49
Introduced 3 mo 2 days ago Successoverture-master/org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreter #29

Usage

This file has been used in the following places:

overture-master/org.overturetool.ide.plugins:org.overture.ide.plugins.quickinterpreterSuccess#29