Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/churn
changeset 29556 7c128276aa93
parent 29554 7e5e5ebb7bf7
child 40269 151fef652324 
--- a/Admin/churn	Sun Jan 18 21:36:59 2009 +0100
+++ b/Admin/churn	Sun Jan 18 21:40:53 2009 +0100
@@ -1,3 +1,5 @@
 #!/bin/bash
 
-hg churn --aliases user-aliases --progress
\ No newline at end of file
+ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
+cd "$ADMIN"
+hg churn --aliases user-aliases --progress
isabelle