Merge branch 'master' of wp5.e-taxonomy.eu:/var/git/taxeditor
[taxeditor.git] / eu.etaxonomy.taxeditor.editor / p2.inf
1 instructions.configure=\
2 addRepository(type:0,location:http${#58}//wp5.e-taxonomy.eu/taxeditor/update);\
3 addRepository(type:1,location:http${#58}//wp5.e-taxonomy.eu/taxeditor/update);