From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 2 Feb 2023 05:26:08 +0000 (+0100)
Subject: Merge pull request #1731 from triska/clpz_corrections
X-Git-Tag: v0.9.2~197
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e0dcf88b68db8074999c09992d0418cd2268fbfd;p=scryer-prolog.git

Merge pull request #1731 from triska/clpz_corrections

correct DocLog ~/.scryerrc rendering
---

e0dcf88b68db8074999c09992d0418cd2268fbfd