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