add extra text to printed repo name to differentiate e.g toolkit vs. browser
authorRobert Kaiser <robert@notebook.box.kairo.at>
Sun, 27 Feb 2011 19:02:27 +0000 (20:02 +0100)
committerRobert Kaiser <robert@notebook.box.kairo.at>
Sun, 27 Feb 2011 19:02:27 +0000 (20:02 +0100)

No differences found