Closed avsm closed 9 years ago
Simpler to have that file than to have the rm -f in the opam file
rm -f
Simpler to have that file than to have the
rm -f
in the opam file