chiark / gitweb /
Improve documentation and layout for @CONF_BEGIN@ and friends. Remove
authormdw <mdw>
Tue, 27 Jul 1999 18:30:14 +0000 (18:30 +0000)
committermdw <mdw>
Tue, 27 Jul 1999 18:30:14 +0000 (18:30 +0000)
irritating warning about unused label by introducing a spurious `goto'.


No differences found