Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [9933f9] Maximize Restore History

Create a source aggregator project

muller muller 2013-11-22

Laurent Voisin Laurent Voisin 2014-01-08

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.eventb.parent/pom.xml
changed org.rodinp.dev/pom.xml
changed org.rodinp.releng/scripts/run-maven.sh
changed pom.xml
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.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.releng/scripts/run-maven.sh Diff Switch to side-by-side view
Loading...
pom.xml Diff Switch to side-by-side view
Loading...