progs/automata/build.sh
changeset 1016 c02d409ed7f4
parent 742 b5b5583a3a08
equal deleted inserted replaced
1015:e8ba0237f005 1016:c02d409ed7f4