#!/bin/sh
rm -r abc-build
rm galois-abcBridge*.tar.bz2