Commit [9933f9]  Maximize  Restore  History

Create a source aggregator project

muller muller 2013-11-22

Laurent Voisin Laurent Voisin 2014-01-08

changed org.eventb.parent/pom.xml
changed org.rodinp.dev/pom.xml
added org.rodinp.platform.sources-feature/.project
added org.rodinp.platform.sources-feature/build.properties
added org.rodinp.platform.sources-feature/feature.properties
added org.rodinp.platform.sources-feature/feature.xml
added org.rodinp.platform.sources-feature/pom.xml
added org.rodinp.platform.sources/.project
changed org.rodinp.releng/scripts/run-maven.sh
changed pom.xml
org.eventb.parent/pom.xml Diff Switch to side-by-side view
Loading...
org.rodinp.dev/pom.xml Diff Switch to side-by-side view
Loading...
org.rodinp.platform.sources-feature/.project Diff Switch to side-by-side view
Loading...
org.rodinp.platform.sources-feature/build.properties Diff Switch to side-by-side view
Loading...
org.rodinp.platform.sources-feature/feature.properties Diff Switch to side-by-side view
Loading...
org.rodinp.platform.sources-feature/feature.xml Diff Switch to side-by-side view
Loading...
org.rodinp.platform.sources-feature/pom.xml Diff Switch to side-by-side view
Loading...
org.rodinp.platform.sources/.project Diff Switch to side-by-side view
Loading...
org.rodinp.releng/scripts/run-maven.sh Diff Switch to side-by-side view
Loading...
pom.xml Diff Switch to side-by-side view
Loading...