[web/css] move jquery.treeview.css override to a separate file
Patched embedded code copies are a maintenance disaster (even more so
than plain embedded code copies). Let's not do that.
#! /bin/sh -e
case "$1" in
remove)
if [ -x "/etc/init.d/cubicweb-ctl" ]; then
invoke-rc.d cubicweb-ctl stop || true
fi
;;
esac
#DEBHELPER#
exit 0