joerg fa5ef876a5 When using deprecated features, it helps to not disable them first.		2013-12-18 17:53:44 +00:00
..
patch-configure