]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #439 from notoria/cli2
authorMark Thom <[email protected]>
Sat, 2 May 2020 00:45:03 +0000 (21:45 -0300)
committerGitHub <[email protected]>
Sat, 2 May 2020 00:45:03 +0000 (21:45 -0300)
Enhanced command line?


Trivial merge