org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor:pom.xml

Introduced 2 yr 4 mo ago overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor #281

Usage

This file has been used in the following places:

overture-development	#281 #282 #285-#290
overture-development/org.overturetool.ide.plugins:org.overture.ide.plugins.externaleditor	#281 #282 #285-#290
overturetool/dependabot%2Fmaven%2Fcore%2Fcodegen%2Fcodegen-runtime%2Fjunit-junit-4.13.1	#2 #3
overturetool/dependabot%2Fmaven%2Fcore%2Fpog%2Fcom.google.code.gson-gson-2.8.9	#1
overturetool/dependabot%2Fmaven%2Fcore%2Fpog%2Fcommons-io-commons-io-2.7	#1
overturetool/dependabot%2Fmaven%2Fcore%2Fprettyprinting%2Fnpp%2Fcommons-io-commons-io-2.7	#1
overturetool/dependabot%2Fmaven%2Fcore%2Ftesting%2Fframework%2Fcom.google.code.gson-gson-2.8.9	#1
overturetool/dependabot%2Fmaven%2Fcore%2Ftesting%2Fframework%2Fcommons-io-commons-io-2.7	#1
overturetool/hdm%2Faddjcgoptions	#1-#10
overturetool/issue782	#1
overturetool/ncb%2Fdevelopment	#163-#176 #178 #179  #182  #184-#187
overturetool/tm%2FSolveRecordProblem	#1 #2
overturetool/tm%2Fstandalonejavgen	#1
overturetool/vdm2uml	#2-#25