log

age author description
Fri, 07 Jul 1995 22:47:57 +0000 Paul Eggert Replace `#!/bin/sh' with `#! /bin/sh', for benefit of systems
Fri, 07 Jul 1995 20:01:01 +0000 Karl Heuer Symbols renamed to be like mode-line indicator.