progs/automata/build.sh
changeset 825 dca072e2bb7d
parent 742 b5b5583a3a08