From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 12 Mar 2023 17:26:54 +0000 (+0100)
Subject: Merge pull request #1757 from aarroyoc/fix-docs-1756
X-Git-Tag: v0.9.2~168
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3a522f3c98d92c3adf84901bf264fcc21416916d;p=scryer-prolog.git

Merge pull request #1757 from aarroyoc/fix-docs-1756

DOCS: Fixes #1756
---

3a522f3c98d92c3adf84901bf264fcc21416916d