username on the git server may not be the same with the local one.
[build.git] / config.coblitz / coblitz.mirrors
2009-07-07 Marc Fiuczynskiseems like this is required for a PLDISTRO