diff debian/menu @ 10651:efb6dcac967d

--dvbincdir support by Gotz Waschk <waschk@informatik.uni-rostock.de>
author alex
date Sun, 17 Aug 2003 20:56:40 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff