# HG changeset patch
# User wenzelm
# Date 1404113492 -7200
# Node ID 663037c5d848602442f264a4bca53cf50b24fa9a
# Parent  0baf08c075b92cc9e3d71b309220e17e16511506
tuned description: fit into 80 chars terminal;

diff -r 0baf08c075b9 -r 663037c5d848 Admin/lib/Tools/churn_pie
--- 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