mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-11 20:03:28 +00:00
Estimated hours taken: 0.1 Branches: main scripts/mmake.in: Fix a bug which caused Mmake to ignore the value of MERCURY_CONFIG_DIR.
Estimated hours taken: 0.1 Branches: main scripts/mmake.in: Fix a bug which caused Mmake to ignore the value of MERCURY_CONFIG_DIR.