mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 23:05:21 +00:00
Estimated hours taken: 0.5 Branches: main browser/Mmakefile: Fix a bug in Zoltan's recent change: it was depending on "libmer_browser.int" instead of "libmer_browser.ints" (and likewise for libmdbcomp). ^