diff debian/postrm @ 16156:64606c87ead9

Needs the previous mpi (pmpi), so request a readable one and request the following filters not to modify it.
author reimar
date Sun, 31 Jul 2005 20:58:52 +0000
parents 02309ce6fc22
children
line wrap: on
line diff