Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
core
ltlrel.test
Find file
Blame
History
Permalink
fix a few copyright headers
· bb47d13f
Alexandre Duret-Lutz
authored
Jun 14, 2016
* tests/core/ltlcrossgrind.test, tests/core/ltlgrind.test, tests/core/ltlrel.test: Here.
bb47d13f