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)
commit022008acb24995e5df9cfebec4b8428d14de91d8
tree7527249e816220474dbfbe456746fdaf2dc8fd22
parent1a1a28843170ed14d75d704a89905312445e599d
Improve documentation and layout for @CONF_BEGIN@ and friends.  Remove
irritating warning about unused label by introducing a spurious `goto'.
conf.h