~ubuntu-branches/debian/sid/gcc-4.8/sid

1
2
3
4
5
6
7
8
9
10
11
12
13
#! /bin/sh -e

if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
    update-alternatives --quiet --remove java /usr/bin/gij-@BV@
    update-alternatives --quiet --remove rmiregistry /usr/bin/grmiregistry-@BV@
    update-alternatives --quiet --remove keytool /usr/bin/gkeytool-@BV@
    update-alternatives --quiet --remove orbd /usr/bin/gorbd-@BV@
    update-alternatives --quiet --remove rmid /usr/bin/grmid-@BV@
fi

#DEBHELPER#

exit 0