Merge branch 'develop' of https://dev.e-taxonomy.eu/git/taxeditor into develop
[taxeditor.git] / eu.etaxonomy.taxeditor.store / 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);