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.
tuned description: fit into 80 chars terminal;
authorwenzelm
Mon, 30 Jun 2014 09:31:32 +0200
changeset 57438 663037c5d848
parent 57437 0baf08c075b9
child 57439 0e41f26a0250
tuned description: fit into 80 chars terminal;
Admin/lib/Tools/churn_pie file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/churn_pie	Mon Jun 30 08:00:36 2014 +0200
+++ b/Admin/lib/Tools/churn_pie	Mon Jun 30 09:31:32 2014 +0200
@@ -2,7 +2,7 @@
 #
 # Author: Florian Haftmann, TU Muenchen
 #
-# DESCRIPTION: pie chart with mercurial churn statistics for specified aliases file
+# DESCRIPTION: pie chart with Mercurial churn statistics
 
 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}"
 shift
isabelle