diff debian/control @ 5624:d9af91d38449

workaround Juanjo's stupid vme change
author arpi
date Sun, 14 Apr 2002 23:16:55 +0000
parents 97b8c679b6a3
children 2cb3ac39e207
line wrap: on
line diff