From: Mark Thom Date: Sun, 24 Sep 2023 17:11:15 +0000 (-0600) Subject: Merge pull request #2040 from rujialiu/allow-cr X-Git-Tag: remove~86^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=75dcc3f27669280ea2be658a32c943b86395885b;p=scryer-prolog.git Merge pull request #2040 from rujialiu/allow-cr Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028 --- 75dcc3f27669280ea2be658a32c943b86395885b