diff debian/menu @ 17518:eef1a44cf2cb

removed forgotten fprintf()
author nicodvb
date Mon, 30 Jan 2006 21:18:53 +0000
parents 16ebf01c5179
children c9e946b14b44
line wrap: on
line diff