Skip to content
Snippets Groups Projects
Commit 2ef2d69c authored by birkhoff's avatar birkhoff
Browse files

description for gradle install added

parent 20afeb99
Branches
Tags
No related merge requests found
// to trigger a full tycho build please use 'gradle deleteFromClassPath completeInstall'
project.ext{ project.ext{
targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"] targetRepositories = ["http://www.stups.uni-duesseldorf.de/prob_dev_target/","http://download.eclipse.org/releases/indigo/","http://rodin-b-sharp.sourceforge.net/updates"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment