mirror of
https://gitlab.com/mbunkus/mkvtoolnix.git
synced 2024-12-26 12:53:50 +00:00
d32639b1d5
Bug 329 asks for this rename as it makes the life of the official Debian/Ubuntu package maintainers easier (and the job of the folks reviewing the packages as well).
12 lines
161 B
Bash
12 lines
161 B
Bash
#! /bin/sh
|
|
|
|
set -e
|
|
|
|
[ "$1" = "remove" ] || [ "$1" = "deconfigure" ] && \
|
|
update-alternatives --remove mkvinfo /usr/bin/mkvinfo-gui
|
|
|
|
#DEBHELPER#
|
|
|
|
exit 0
|
|
|