Author: jmtd-guest Date: 2006-07-31 20:51:27 +0000 (Mon, 31 Jul 2006) New Revision: 1285 Modified: packages/trunk/prboom/doc/boom.cfg.5 packages/trunk/prboom/doc/prboom-game-server.6 packages/trunk/prboom/doc/prboom.6 Log: miscellaneous manpage fixes ! The diff was too big and was omitted from this mail !