Remove some redundancy and add some markup.
commit7ed820592516d0c36d57363c807da1576037827b
authorswildner <swildner>
Mon, 30 Jul 2007 02:09:22 +0000 (30 02:09 +0000)
committerswildner <swildner>
Mon, 30 Jul 2007 02:09:22 +0000 (30 02:09 +0000)
treeee9587191aa0bb444608388377d626c8ec2816ab
parent1001b51596a79c121ee9b96f5fd26e7cf8cc99d2
Remove some redundancy and add some markup.
bin/mined/mined.1