merge-update of trunk and disabling GUI-Control separation
[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);