Do not follow symlinks when looking for the stdlib files.#956

vitor1001 wants to merge 1 commit into

MiniZinc:developMiniZinc/libminizinc:developfrom

vitor1001:no_symlinksvitor1001/libminizinc:no_symlinksCopy head branch name to clipboard