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)
commitf32e4f112d10222155292db5d6e4fd3031264ac4
tree944e3ce30791b7f893a35dd3053b09dbf1b4577c
parente030399484eb750c8dd3e6a5f65e2bb2134dcf7f
add extra text to printed repo name to differentiate e.g toolkit vs. browser
origdiff