diff debian/menu @ 10068:b3ce60d238c4

Updates and a small patch provided by Bohdan Horst.
author diego
date Mon, 05 May 2003 02:33:49 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff