Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
ltlcross.org
Find file
Blame
History
Permalink
doc: ltlcross is not only about Büchi anymore
· 6acd03a1
Alexandre Duret-Lutz
authored
Apr 21, 2016
* bin/man/ltlcross.x, doc/org/ltlcross.org, doc/org/tools.org: Fix one-line summaries.
6acd03a1