Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
configure.ac
Find file
Blame
History
Permalink
revert
a7842ac4
for building static modelcheck
· 43bd39f1
Etienne Renault
authored
Oct 09, 2020
* configure.ac, tests/Makefile.am: Here.
43bd39f1