diff debian/menu @ 6251:1107d4af27e9

rewording/cosmetics patch by Diego Biurrun
author arpi
date Fri, 31 May 2002 22:02:55 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff