Change name of independent makefile to something which does not break
dune-<mumble> builds.
This commit is contained in:
1 parent
1d991e26e5
commit
ecc86b8c06
1 file changed
File renamed without changes.
Reference in new issue
Block a user