diff debian/menu @ 2662:994b95f443f2

avoids spitting bad compilation messages at the user when sthg does not work
author pl
date Sat, 03 Nov 2001 23:15:44 +0000
parents df0f1ace7a33
children 5bbf7a829280
line wrap: on
line diff