-
Arthur Remaud authored
Fixes #207 * NEWS: Informations about the option 'y' for --dot added * bin/common_aoutput.cc: Documentation for the option 'y' for --dot added * spot/twaalgos/dot.cc (print_dst, process_link): Functions modified for the new option * tests/core/alternating.test: Tests added
34859568