mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
This was reported and reviewed by Paul already.
vim/syntax/mercury.vim:
Fix spelling mistake and make the mercuryClauseHead expression
recognise digits.