]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2534 from hurufu/document_non_counted_backtracking
authorMark Thom <[email protected]>
Mon, 16 Sep 2024 23:41:53 +0000 (17:41 -0600)
committerGitHub <[email protected]>
Mon, 16 Sep 2024 23:41:53 +0000 (17:41 -0600)
Document non counted backtracking


Trivial merge