Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
ltlfilt.cc
Find file
Blame
History
Permalink
ltlfilt: remove -n.
· ae234d2e
Alexandre Duret-Lutz
authored
Jan 14, 2015
* src/bin/ltlfilt.cc: Remove short option -n for --negate.
ae234d2e