diff debian/menu @ 16021:10b66575fb5e

Don't point at the German docs, they're far too outdated.
author diego
date Wed, 20 Jul 2005 09:57:40 +0000
parents 4780969312f6
children ee03a2c72db8
line wrap: on
line diff