Files
mercury/scripts
Julien Fischer d7194d2bbd Disable colored diagnostics in the Windows console.
The Windows console (on Windows 10 at least) does not support ANSI escape
sequences by default, so turn off colored diagnostics by default when
the compiler is invoked via the mercury.bat batch file.

scripts/mercury.bat.in:
    As above.
2025-12-31 16:49:19 +11:00
..
2025-12-26 16:28:05 +11:00