diff debian/menu @ 26956:1c94c6cb72ec

Remove references to removed configure options.
author diego
date Wed, 04 Jun 2008 12:58:01 +0000
parents c9e946b14b44
children
line wrap: on
line diff