mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 12:53:53 +00:00
Estimated hours taken: 0.1 Branches: main java/runtime/.nocopyright: Avoid complaints from cvs commit by adding this (currently empty) file.