diff debian/menu @ 23827:79bed8bf80f4

now it's synced, to r23342
author ptt
date Mon, 23 Jul 2007 14:55:34 +0000
parents c9e946b14b44
children
line wrap: on
line diff