index
:
debhelper
master
Debian dgit repo for package debhelper
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
autoscripts
/
prerm-info
blob: 6d13234e1f7136e39ea4d464d2739ecc3c156127 (
plain
)
1
2
3
if [ "$1" = remove ]; then install-info --quiet --remove #FILE# fi