]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1991 from triska/discoverable_flags
authorMark Thom <[email protected]>
Mon, 4 Sep 2023 00:39:24 +0000 (18:39 -0600)
committerGitHub <[email protected]>
Mon, 4 Sep 2023 00:39:24 +0000 (18:39 -0600)
FIXED: make occurs_check and answer_write_options flags discoverable


Trivial merge