progs/automata/build.sh
changeset 928 717ecab7b87a
parent 742 155426396b5f