On Mon, 2013-10-14 11:45:42 -0600, Tom Tromey wrote: > Fred> 'git clone URL' will produce a directory called "src" which > Fred> is utterly meaningless on any developer's machine. > > I chose it because the existing repository is named "src". > > I don't particularly care what the repository is named. > If folks want to debate it, I will rename it to the winner. > Time is running out for that though. Maybe just keep "src". We're all used to it. But after all, I'm happy to see the conversion taking place. Thanks for the work! MfG, JBG -- Jan-Benedict Glaw jbglaw@lug-owl.de +49-172-7608481 Signature of: Gib Dein Bestes. Dann übertriff Dich selbst! the second :