debian/config
author Paul Crowley <paul@lshift.net>
Fri, 17 Dec 2010 23:24:01 +0000
branchdebian
changeset 281 7d59a0f92c78
parent 224 caf9cb61f856
child 314 c02eae7665af
permissions -rw-r--r--
Don't include dev stuff in sources; don't call pbuilder usually

#!/bin/sh

set -e

# Load debconf
. /usr/share/debconf/confmodule

db_input medium mercurial-server/purge_repositories || true

db_go || true

exit 0