mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 01:43:35 +00:00
scripts/init_grade_options.sh-subr:
Delete "il" from the list of values for the --target option.
scripts/init_grade_options.sh-subr:
Delete "il" from the list of values for the --target option.