K 10 svn:author V 4 miwi K 8 svn:date V 27 2009-01-14T09:12:01.000000Z K 7 svn:log V 141 - Install developer tools if WITH_GUI is enabled - Fix handling empty directory PR: 130469 Submitted by: KATO Tsuguru END