Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
evtgbatest
ltl2evtgba.test
Find file
Blame
History
Permalink
* src/evtgbatest/ltl2evtgba.test: Replace * by &.
· 322e1a01
Alexandre Duret-Lutz
authored
Jan 30, 2010
322e1a01