-
Alexandre Duret-Lutz authoredFixes #78. * src/twaalgos/dotty.cc: Add option '1'. * src/taalgos/dotty.cc: Ignore '1'. * src/bin/dstar2tgba.cc, src/bin/common_aoutput.cc: Document it. * src/tests/readsave.test: Test it.
51309cf7
Fixes #78. * src/twaalgos/dotty.cc: Add option '1'. * src/taalgos/dotty.cc: Ignore '1'. * src/bin/dstar2tgba.cc, src/bin/common_aoutput.cc: Document it. * src/tests/readsave.test: Test it.