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