mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-15 22:03:26 +00:00
3 lines
51 B
Plaintext
3 lines
51 B
Plaintext
--no-mercury-stdlib-dir
|
|
--halt-at-warn-if-possible
|