Richard M. Stallman 186167e82b entered into RCS		1994-01-08 08:03:17 +00:00
..
sed1.inp	entered into RCS	1994-01-07 13:45:36 +00:00
sed2.inp	entered into RCS	1993-12-15 18:51:14 +00:00
sed3.inp	entered into RCS	1994-01-08 08:03:17 +00:00