diff debian/menu @ 1045:2ee9a18ed6f3

Minor improvements
author nickols_k
date Thu, 07 Jun 2001 09:08:32 +0000
parents df0f1ace7a33
children 5bbf7a829280
line wrap: on
line diff