From: Mark Thom Date: Sun, 3 Sep 2023 17:36:07 +0000 (-0600) Subject: Merge pull request #1989 from triska/mention_binaries X-Git-Tag: remove~119 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d8aed0ac4f32940121d8d057594849c988eeb4d4;p=scryer-prolog.git Merge pull request #1989 from triska/mention_binaries mention precompiled binaries --- d8aed0ac4f32940121d8d057594849c988eeb4d4