#!/bin/sh
# strip-to-refsoft
#
# remove all stuff thats not really Reference Software ..
#
# Heiko Purnhagen, University of Hannover <purnhage@tnt.uni-hannover.de>
# HP 20000403
#
# usage:
#   ./strip-to-refsoft
#

rm strip-to-refsoft

# the end ...
