diff debian/menu @ 7625:0f1691d27d75

Fixed some typos and an error in the help output.
author diego
date Sun, 06 Oct 2002 17:18:57 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff