progs/automata/build.sh
changeset 821 f914b9476dc7
parent 742 b5b5583a3a08
equal deleted inserted replaced
820:7fd1f611c21d 821:f914b9476dc7