Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added user aliasses (still unclear how to specify names with whitespace contained)
authorhaftmann
Fri, 29 Oct 2010 16:04:35 +0200
changeset 40269 151fef652324
parent 40268 af22d99f4446
child 40270 56e705fc8fdb
child 40271 6014e8252e57
added user aliasses (still unclear how to specify names with whitespace contained)
Admin/churn file | annotate | diff | comparison | revisions
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- a/Admin/churn	Fri Oct 29 14:06:10 2010 +0200
+++ b/Admin/churn	Fri Oct 29 16:04:35 2010 +0200
@@ -2,4 +2,4 @@
 
 ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
 cd "$ADMIN"
-hg churn --aliases user-aliases --progress
+hg churn --aliases user-aliases
--- a/Admin/user-aliases	Fri Oct 29 14:06:10 2010 +0200
+++ b/Admin/user-aliases	Fri Oct 29 16:04:35 2010 +0200
@@ -7,3 +7,8 @@
 immler@in.tum.de immler
 tsewell@rubicon.NSW.bigpond.net.au tsewell
 tsewell@nicta.com.au tsewell
+kaliszyk@in.tum.de kaliszyk
+Philipp\ Meyer meyerp
+Timothy\ Bourke tbourke
+noschinl@in.tum.de noschinl
+brianh@cs.pdx.edu huffman
isabelle