diff debian/menu @ 19103:4611423138fc

now obsolete
author diego
date Sat, 15 Jul 2006 15:27:09 +0000
parents c9e946b14b44
children
line wrap: on
line diff