progs/automata/build.sh
changeset 875 7b5ef798aeaa
parent 742 155426396b5f