-
POTTIER Francois authored
In the previous version, the redefinition of $(libdir) was ineffective when we were called from opam, which overrides $(libdir) from outside.
16466cac
To find the state of this project's repository at the time of any of these versions, check out the tags.