# HG changeset patch
# User wenzelm
# Date 850748816 -3600
# Node ID a310d0c897890df6fae067b47d62aaefc4dbecf0
# Parent  4550426cf8f78473331ede5667187a68dac7fb63
fixed Title;

diff -r 4550426cf8f7 -r a310d0c89789 lib/scripts/symbolinput.pl
--- a/lib/scripts/symbolinput.pl	Mon Dec 16 15:45:02 1996 +0100
+++ b/lib/scripts/symbolinput.pl	Mon Dec 16 16:06:56 1996 +0100
@@ -1,4 +1,4 @@
-# Title:	Distribution/lib/scripts/symbol_input.pl
+# Title:	Distribution/lib/scripts/symbolinput.pl
 # ID:		$Id$
 # Author:	Markus Wenzel, David von Oheimb
 # Copyright	1996 Technische Universitaet Muenchen