-
Alexandre Duret-Lutz authored
* data/automata/char-zmin/sag.cc: Rename as ... * data/automata/char-zmin/minblocka.cc: ... this. * data/automata/char-zmin/Makefile.am: Adjust.
fadfcd4d
* data/automata/char-zmin/sag.cc: Rename as ... * data/automata/char-zmin/minblocka.cc: ... this. * data/automata/char-zmin/Makefile.am: Adjust.