From: Mark Thom Date: Sat, 6 Feb 2021 00:17:14 +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~65^2~13 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=927871d73d1ca34dda88bae62d849d36f987d3f5;p=scryer-prolog.git Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev --- 927871d73d1ca34dda88bae62d849d36f987d3f5