# HG changeset patch
# User wenzelm
# Date 969313403 -7200
# Node ID a281d157ccdf8bdeb0e89887c01026922bc7157f
# Parent  f79ce04d0b94f9746b945fb30bba8321ac71bc7a
tuned;

diff -r f79ce04d0b94 -r a281d157ccdf lib/scripts/expandshort.pl
--- a/lib/scripts/expandshort.pl	Mon Sep 18 23:43:11 2000 +0200
+++ b/lib/scripts/expandshort.pl	Mon Sep 18 23:43:23 2000 +0200
@@ -6,6 +6,7 @@
 # in "be ... i;" -> "by (etac ... i);" the "..." phrase is not allowed to
 #   contain punctuation.  Otherwise, comments can be affected!
 # a special case is made to detect    be alpha.alpha digits   
+#
 
 sub expandshort {
     my ($file) = @_;