From: Mark Thom Date: Thu, 29 Jun 2023 18:11:12 +0000 (-0600) Subject: Merge pull request #1849 from triska/showterm X-Git-Tag: v0.9.2~106 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=83f352b95e0d505fade662f9f065db08f115d26f;p=scryer-prolog.git Merge pull request #1849 from triska/showterm remove unneeded single quotes --- 83f352b95e0d505fade662f9f065db08f115d26f