mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
Add some missing .PHONY markers, and delete a stray .PHONY marker. Add some missing copyright years.
Add some missing .PHONY markers, and delete a stray .PHONY marker. Add some missing copyright years.