diff debian/menu @ 16020:048b7c9b198b

Fixes suggested by Diego and The Wanderer
author gpoirier
date Wed, 20 Jul 2005 07:59:20 +0000
parents 4780969312f6
children ee03a2c72db8
line wrap: on
line diff