mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-18 23:35:25 +00:00
mdbcomp/mdbcomp.m:
Note a couple of other places where you have to list new mdbcomp modules.
deep_profiling/.gitignore:
slice/.gitignore:
Mention the recently added mdbcomp modules, to stop up git from listing
their copies in these directories as unknown files.