Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltlsynt.cc
Find file
Blame
History
Permalink
ltlsynt: misc typos
· 8c13d720
Alexandre Duret-Lutz
authored
Jun 18, 2019
* doc/org/ltlsynt.org: Fix example. * bin/ltlsynt.cc: Fix --help text.
8c13d720