From: Mark Thom Date: Thu, 4 Feb 2021 05:34:34 +0000 (-0700) Subject: Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev X-Git-Tag: v0.9.0~150^2~66 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=62b103fa23c10522cf2e1a4c804e762992d47827;p=scryer-prolog.git Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev --- 62b103fa23c10522cf2e1a4c804e762992d47827