progs/automata/build.sh
changeset 833 7c3b8bb4a174
parent 742 155426396b5f