]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2040 from rujialiu/allow-cr
authorMark Thom <[email protected]>
Sun, 24 Sep 2023 17:11:15 +0000 (11:11 -0600)
committerGitHub <[email protected]>
Sun, 24 Sep 2023 17:11:15 +0000 (11:11 -0600)
Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028


Trivial merge