From: Mark Thom Date: Mon, 4 Dec 2023 06:02:05 +0000 (-0700) Subject: Merge pull request #2200 from wkral/percent-graphic-char X-Git-Tag: v0.9.4~89 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=92e07d2be1a15e7ddba7a010e0a1c590df9bcb76;p=scryer-prolog.git Merge pull request #2200 from wkral/percent-graphic-char Add '%' to the list of graphic_chars (#2119) --- 92e07d2be1a15e7ddba7a010e0a1c590df9bcb76