diff debian/postrm @ 16020:048b7c9b198b

Fixes suggested by Diego and The Wanderer
author gpoirier
date Wed, 20 Jul 2005 07:59:20 +0000
parents 02309ce6fc22
children
line wrap: on
line diff