mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-17 18:33:58 +00:00
Estimated hours taken: 0.5 scripts/Mmake.rules: Fix a portability problem: we need a ";" before the "}".
Estimated hours taken: 0.5 scripts/Mmake.rules: Fix a portability problem: we need a ";" before the "}".