* mk-w32-dist: Remove underline markup from man pages. Reported
authorWerner Koch <wk@gnupg.org>
Fri, 22 Jun 2007 11:52:12 +0000 (11:52 +0000)
committerWerner Koch <wk@gnupg.org>
Fri, 22 Jun 2007 11:52:12 +0000 (11:52 +0000)
commit0a42be5773536cafcb3fe962cb7455b76be9b549
treef128233f3d9126e31a2336996c837f22fb458c9a
parent7cf79c128ada945ccd44e912604031927af9a8ab
* mk-w32-dist: Remove underline markup from man pages.  Reported
by Dirk Traulsen.
scripts/ChangeLog
scripts/mk-w32-dist