From: Mark Thom Date: Thu, 17 Aug 2023 21:18:25 +0000 (-0600) Subject: Merge pull request #1964 from triska/master X-Git-Tag: v0.9.2~8 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7da321ab4f96a28a2bc6464bbd5e4308501d78cf;p=scryer-prolog.git Merge pull request #1964 from triska/master use newly available double_quotes/1 write option in portray_clause_//1 --- 7da321ab4f96a28a2bc6464bbd5e4308501d78cf