]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #740 from triska/indexing
authorMark Thom <[email protected]>
Tue, 22 Dec 2020 22:39:17 +0000 (15:39 -0700)
committerGitHub <[email protected]>
Tue, 22 Dec 2020 22:39:17 +0000 (15:39 -0700)
small documentation improvements related to the new indexing strategy


Trivial merge