Daniel Baumann 3047936fb5 Renaming mirror options to parent mirror for handling derivatives nice in future.		2011-03-09 19:20:43 +01:00
..
de	Renaming mirror options to parent mirror for handling derivatives nice in future.	2011-03-09 19:20:43 +01:00