diff debian/menu @ 14810:14d0d7d74c10

synced with 1.897
author paszczi
date Fri, 25 Feb 2005 09:16:40 +0000
parents 4780969312f6
children ee03a2c72db8
line wrap: on
line diff