org.overture.ide.plugins.externaleditor-2.6.5-SNAPSHOT.jar

MD5: 3292c507042d48e3fec5a5091cdb92e1
Introduced 2 yr 1 mo ago Successoverturetool/test #59

Usage

This file has been used in the following places:

overturetool/testSuccess#59