diff debian/postrm @ 17416:7de54f5d786d

Put settings into a more meaningful order, some cosmetics.
author diego
date Tue, 17 Jan 2006 00:36:52 +0000
parents 02309ce6fc22
children
line wrap: on
line diff