Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltlcross2.test
Find file
Blame
History
Permalink
* src/tgbatest/ltlcross2.test: Fix list of tested configurations.
· 3f61a34b
Alexandre Duret-Lutz
authored
Jan 22, 2013
3f61a34b