From: Mark Thom Date: Wed, 3 Feb 2021 05:59:28 +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~67 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b7218d22790167245fd48af4fd3157db09cbb4b7;p=scryer-prolog.git Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev --- b7218d22790167245fd48af4fd3157db09cbb4b7