diff options
-rw-r--r-- | debian/plptools.postinst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/plptools.postinst b/debian/plptools.postinst index 93db761..4704349 100644 --- a/debian/plptools.postinst +++ b/debian/plptools.postinst @@ -4,6 +4,7 @@ # see: dh_installdeb(1) set -e +. /usr/share/debconf/confmodule # summary of how this script can be called: # * <postinst> `configure' <most-recently-configured-version> |