mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
tools/run_all_tests_from_cron: 10.04 is now the release branch. tools/test_mercury: Prepare for building the 10.04 branch. Delete stuff related to the 0.13 branch.
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.