Skip to content
  • Alexandre Duret-Lutz's avatar
    ltlfilt: initial implementation. · a0e1a144
    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