Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
ltlgrind.cc
Find file
Blame
History
Permalink
ltlgrind: cosmetics
· cf65f606
Alexandre Duret-Lutz
authored
Jan 02, 2015
* src/bin/ltlgrind.cc: Adjust help text to match other tools.
cf65f606