#!/bin/sh

set -e

if [ "$1" = 'purge' ]; then
  rm -rf /var/lib/debci
  rm -rf /var/log/debci
fi

## Automatically added by dh_installdeb/13.11.8
dpkg-maintscript-helper dir_to_symlink /usr/share/debci/public/font-awesome /usr/share/fonts-font-awesome 1.10 debci -- "$@"
# End automatically added section
#