progs/automata/build.sh
changeset 804 387240957c3d
parent 742 b5b5583a3a08