-
Alexandre Duret-Lutz authored
This was never actually used and we have a new implementation of alternating automata coming. * src/saba/, src/sabaalgos/, src/sabatest/: Remove. * src/Makefile.am, configure.ac, README: Adjust. * NEWS: Mention it.
51fe5108