Skip to content
  • Alexandre Duret-Lutz's avatar
    eltl2tgba: remove this unused code. · af8ce5df
    Alexandre Duret-Lutz authored
    * src/eltlparse/.gitignore, src/eltlparse/Makefile.am,
    src/eltlparse/eltlparse.yy, src/eltlparse/eltlscan.ll,
    src/eltlparse/fmterror.cc, src/eltlparse/parsedecl.hh,
    src/eltlparse/public.hh, src/eltltest/.gitignore,
    src/eltltest/Makefile.am, src/eltltest/acc.cc, src/eltltest/acc.test,
    src/eltltest/defs.in, src/eltltest/nfa.cc, src/eltltest/nfa.test,
    src/tgbaalgos/eltl2tgba_lacim.cc, src/tgbaalgos/eltl2tgba_lacim.hh,
    src/tgbatest/eltl2tgba.test: Delete these files.
    * src/Makefile.am, src/tgbaalgos/Makefile.am, src/tgbatest/Makefile.am,
    src/tgbatest/ltl2tgba.cc, src/tgbatest/ltlcross.test,
    src/tgbatest/spotlbtt.test, README, configure.ac: Adjust.
    af8ce5df