4.0.0 org.overturetool ide 2.6.5-SNAPSHOT ../pom.xml eclipse-plugin org.overturetool.ide org.overture.ide.platform org.overture.ide.platform false src/main/resources ${project.basedir} true plugin.properties pl.project13.maven git-commit-id-plugin revision ../../.git ${git-commit-id.skip} git yyyy MMM dd HH:mm z false true false false 7 false release pl.project13.maven git-commit-id-plugin revision ../../.git ${git-commit-id.skip} git yyyy MMM dd HH:mm z false true false false 7 . false