Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltlparse
Makefile.am
Find file
Blame
History
Permalink
ltlfile: remove unused file
· 12401fe9
Alexandre Duret-Lutz
authored
Dec 01, 2014
* src/ltlparse/ltlfile.cc, src/ltlparse/ltlfile.hh: Delete. * src/ltlparse/Makefile.am: Adjust.
12401fe9