Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Repository
8c13d7209eb3a5be6966d135cbbb1853d19204f0
Switch branch/tag
spot
doc
org
ltlsynt.org
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
Alexandre Duret-Lutz authored