#!/bin/sh
rm -rf /usr/share/twelf
rm -f /usr/bin/twelf-server