eu.etaxonomy.taxeditor.navigation/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);