diff debian/control @ 5159:663ededc1961

sync the f* manual (with arpi's english changes)
author gabucino
date Sun, 17 Mar 2002 09:41:26 +0000
parents 97b8c679b6a3
children 2cb3ac39e207
line wrap: on
line diff