diff debian/menu @ 8497:27bc01774674

more_options removed
author gabucino
date Thu, 19 Dec 2002 21:36:44 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff