Files
mercury/tools
Julien Fischer 12e12ac3e3 Add a missing word.
tools/bootcheck:
    Add a missing word in the usage message.
2026-02-01 02:59:16 +11:00
..
2026-02-01 02:59:16 +11:00
2025-12-26 16:28:05 +11:00
2025-08-04 12:42:36 +02:00

This directory, mercury/tools, contains scripts that are not intended
for use by users.  The scripts here are used by the Mercury developers
for maintaining the Mercury compiler.