-
POTTIER Francois authored
Ideally, though, this file should not even exist. We should instead refer directly to lib/tlc/Makefile.coq.
e0e42144
Ideally, though, this file should not even exist. We should instead refer directly to lib/tlc/Makefile.coq.