diff debian/menu @ 5917:ab2cd00a0a52

Suggested fix by Arne Driescher <driescher at mpi-magdeburg.mpg.de>
author atmos4
date Tue, 30 Apr 2002 19:20:34 +0000
parents 5bbf7a829280
children 1856b9bfdc09
line wrap: on
line diff