progs/automata/build.sh
changeset 821 c3f9e0fe08cb
parent 742 155426396b5f