joerg 0f1399f0fa Clean up patch. Simplify. user-destdir support.		2009-07-07 14:59:00 +00:00
..
patch-aa