diff debian/menu @ 7491:87197e110b4f

accepted. so we're now 110% gpl...
author arpi
date Mon, 23 Sep 2002 19:02:21 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff