]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1100 from aarroyoc/phrase-to-file-options
authorMark Thom <[email protected]>
Sun, 21 Nov 2021 20:27:17 +0000 (15:27 -0500)
committerGitHub <[email protected]>
Sun, 21 Nov 2021 20:27:17 +0000 (15:27 -0500)
Add phrase_to_file/3 (phrase_to_file with Options)


Trivial merge