[hcoop/zz_old/debian/smlnj.git] / debian / prerm.in

#!/bin/sh

set -e

@SMLNJ_HOME@/bin/pkg-deregister @PKG@

#DEBHELPER#
Commit	Line	Data
4dd335d4 JM	1	#!/bin/sh
	2
	3	set -e
	4
	5	@SMLNJ_HOME@/bin/pkg-deregister @PKG@
	6
	7	#DEBHELPER#