Re: git conversion status

Tom Tromey
2013-10-14T17:45:51Z

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.

Tom