]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #729 from brightly-salty/replace-dirs
authorMark Thom <[email protected]>
Tue, 15 Dec 2020 17:04:46 +0000 (10:04 -0700)
committerGitHub <[email protected]>
Tue, 15 Dec 2020 17:04:46 +0000 (10:04 -0700)
Replace dirs with dirs-next


Trivial merge