Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltltest
ltlfilt.test
Find file
Blame
History
Permalink
bin: Ignore empty lines on input.
· 372790a4
Alexandre Duret-Lutz
authored
May 12, 2013
* src/bin/common_finput.cc: Here. * src/ltltest/ltlfilt.test: Test it. * NEWS: Mention it.
372790a4