-
Alexandre Duret-Lutz authored
* src/bin/ltlfilt.cc, src/bin/Makefile.am: New files. * src/Makefile.am (SUBDIRS): Add bin. * configure.ac: Add src/bin/Makefile.am. * README: Document src/bin/.
a0e1a144
* src/bin/ltlfilt.cc, src/bin/Makefile.am: New files. * src/Makefile.am (SUBDIRS): Add bin. * configure.ac: Add src/bin/Makefile.am. * README: Document src/bin/.