[config] fix option group clash causing anonymous user configuration to end in the MAIN section instead of the WEB section if cubicweb-dev is installed
#! /bin/sh -ecase "$1" in remove) if [ -x "/etc/init.d/cubicweb-ctl" ]; then invoke-rc.d cubicweb-ctl stop || true fi ;;esac#DEBHELPER#exit 0