--- a/lib/scripts/feeder.pl Fri Feb 12 13:56:21 1999 +0100
+++ b/lib/scripts/feeder.pl Fri Feb 12 14:40:56 1999 +0100
@@ -13,7 +13,7 @@
%tab = (
#GENERATED TEXT FOLLOWS - Do not edit!
- "\xa0", "\\<space2>",
+ "\xa0", "\\<spacespace>",
"\xa1", "\\<Gamma>",
"\xa2", "\\<Delta>",
"\xa3", "\\<Theta>",