| changeset 57438 | 663037c5d848 |
| parent 56417 | 04d0083cb9e5 |
| child 64881 | 9eff4c62579a |
--- 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