org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj:pom.xml

MD5: c10c89e3eab7cc727135bf590d80bb2e
Introduced 8 mo 19 days ago Successoverture-master/org.overturetool.ide.parsers:org.overture.ide.parsers.vdmj #30

Usage

This file has been used in the following places:

overture-masterSuccess#30 
overture-master/org.overturetool.ide.parsers:org.overture.ide.parsers.vdmjSuccess#30