added user aliasses (still unclear how to specify names with whitespace contained)
authorhaftmann
Fri Oct 29 16:04:35 2010 +0200 (2010-10-29 ago)
changeset 40269151fef652324
parent 40268 af22d99f4446
child 40270 56e705fc8fdb
child 40271 6014e8252e57
added user aliasses (still unclear how to specify names with whitespace contained)
Admin/churn
Admin/user-aliases
     1.1 --- a/Admin/churn	Fri Oct 29 14:06:10 2010 +0200
     1.2 +++ b/Admin/churn	Fri Oct 29 16:04:35 2010 +0200
     1.3 @@ -2,4 +2,4 @@
     1.4  
     1.5  ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
     1.6  cd "$ADMIN"
     1.7 -hg churn --aliases user-aliases --progress
     1.8 +hg churn --aliases user-aliases
     2.1 --- a/Admin/user-aliases	Fri Oct 29 14:06:10 2010 +0200
     2.2 +++ b/Admin/user-aliases	Fri Oct 29 16:04:35 2010 +0200
     2.3 @@ -7,3 +7,8 @@
     2.4  immler@in.tum.de immler
     2.5  tsewell@rubicon.NSW.bigpond.net.au tsewell
     2.6  tsewell@nicta.com.au tsewell
     2.7 +kaliszyk@in.tum.de kaliszyk
     2.8 +Philipp\ Meyer meyerp
     2.9 +Timothy\ Bourke tbourke
    2.10 +noschinl@in.tum.de noschinl
    2.11 +brianh@cs.pdx.edu huffman