#!/bin/bash

set -e

FILE_INI="/etc/virtuoso-opensource-6.1/virtuoso.ini"

# /etc/virtuoso-opensource-6.1/virtuoso.ini was a conffile in older
# versions of this package
dpkg-maintscript-helper rm_conffile \
	$FILE_INI '6.1.4+dfsg1-1~' 'virtuoso-opensource-6.1' -- "$@"

#DEBHELPER#
