diff debian/postrm @ 11130:c90317724a1d

Also build Polish documentation.
author diego
date Wed, 15 Oct 2003 17:00:25 +0000
parents 02309ce6fc22
children
line wrap: on
line diff