diff debian/TODO.Debian @ 13380:1916851d90a3

Use the same names as on mphq for the generated man pages.
author diego
date Sat, 18 Sep 2004 14:20:14 +0000
parents 8df33450a374
children 14f41e4c530e
line wrap: on
line diff