mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
Rename Mmake' as Mmakefile', since using the name `Mmake'
Estimated hours taken: 0.25 */Mmake: Rename `Mmake' as `Mmakefile', since using the name `Mmake' causes problems on case-insensitive file systems.
This commit is contained in:
Reference in New Issue
Block a user