Reinhard Pointner ffae3be997 * use the mirrors.xml server for search as well		2013-03-09 12:33:02 +00:00
..
sourceforge	* use the mirrors.xml server for search as well	2013-03-09 12:33:02 +00:00