Install Debian's ion_0.0.20020207-1.diff.gz patch.
[ion1.git] / debian / postrm
blob2d3c95d61b041cf4ac353569bc73a2b76be826b1
1 #!/bin/sh
2 set -e
4 if test -x /usr/bin/update-menus; then update-menus; fi