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 churn script
authorhaftmann
Sun, 18 Jan 2009 21:12:06 +0100
changeset 29554 7e5e5ebb7bf7
parent 29553 c3b937e8597b
child 29555 8938f89973f3
added churn script
Admin/churn file | annotate | diff | comparison | revisions
Admin/user-aliases file | annotate | diff | comparison | revisions 
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/churn	Sun Jan 18 21:12:06 2009 +0100
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+hg churn --aliases user-aliases --progress
\ No newline at end of file
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/user-aliases	Sun Jan 18 21:12:06 2009 +0100
@@ -0,0 +1,3 @@
+norbert.schirmer@web.de schirmer
+urbanc@in.tum.de> urbanc
+nipkow@lapbroy100.local nipkow
\ No newline at end of file
isabelle