-
Alexandre Duret-Lutz authored
Reported by František Blahoudek. * bin/man/ltlcross.x: Remove obsolete paragraph with reference to columns in_states, in_edges, in_transitions, and in_acc that were removed in 1.99.3.
412c2059
Reported by František Blahoudek. * bin/man/ltlcross.x: Remove obsolete paragraph with reference to columns in_states, in_edges, in_transitions, and in_acc that were removed in 1.99.3.