diff debian/postrm @ 14897:cc02417dbf22

Fix rm files with a really big index chunk.
author reimar
date Thu, 03 Mar 2005 10:23:28 +0000
parents 02309ce6fc22
children
line wrap: on
line diff