-
Alexandre Duret-Lutz authored
Combined with 87c2b291, this fixes #7. * src/tgbaalgos/stutterize.cc: Call keep_props(). * src/tgbaalgos/closure.cc: Just specify the encoding. * src/bin/autfilt.cc: Add a --instut=2 option. * src/tgbatest/stutter.test: More test.
7c34c1ae