diff debian/postrm @ 13045:5f2163f3d3d9

updates by Guillaume POIRIER <gpoirier@irisa.fr>
author diego
date Wed, 18 Aug 2004 16:50:22 +0000
parents 02309ce6fc22
children
line wrap: on
line diff