Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
doc
org
genltl.org
Find file
Blame
History
Permalink
* doc/org/genltl.org: Simplify example.
· 803f9a5d
Alexandre Duret-Lutz
authored
Feb 20, 2017
803f9a5d