progs/automata/build.sh
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 11 Nov 2021 15:58:22 +0000
changeset 849 9e332fb8c96a
parent 742 155426396b5f
permissions -rwxr-xr-x
updated

#!/bin/bash
set -euo pipefail

amm thompson.sc