#!/bin/bash

# cd into the directory containing this script (from the bash faq 028)
if [[ $BASH_SOURCE = */* ]]; then
  cd -- "${BASH_SOURCE%/*}/" || exit
fi

cd ..

rm -rf spongefish sigma-proofs sigma-compiler cmz application-lox \
    application-lox-zkp application-ooni
