Workspace of org.overture.ide.plugins.externaleditor on master
![]() | icons/cview16 | |||
![]() | META-INF | |||
![]() | src/main/java/org/overture/ide/plugins/externaleditor | |||
![]() | target | |||
![]() | build.properties | Jun 6, 2017 9:27:20 AM | 191 B | ![]() |
![]() | plugin.properties | Jun 6, 2017 9:27:20 AM | 0 B | ![]() |
![]() | plugin.xml | Jun 6, 2017 9:27:20 AM | 2.42 KB | ![]() |
![]() | pom.xml | Nov 10, 2020 4:20:07 PM | 669 B | ![]() |
![]() | README.md | Jun 6, 2017 9:27:20 AM | 158 B | ![]() |