Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
ltltest
reduc.test
Find file
Blame
History
Permalink
* src/ltltest/reduc.test: Use ./defs and clean result.data.
· 0c44ca35
Alexandre Duret-Lutz
authored
May 14, 2004
* src/ltltest/Makefile.am (CLEANFILES): Clean result.data.
0c44ca35