progs/automata/build.sh
changeset 927 ef54868a9226
parent 742 b5b5583a3a08
equal deleted inserted replaced
926:42ecc3186944 927:ef54868a9226