diff debian/menu @ 11885:9f37fa68d56a

sync by Ioannis Panteleakis <pioann@csd.auth.gr>
author diego
date Fri, 30 Jan 2004 01:41:45 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff