]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #536 from mthom/revert-517-docker
authorMark Thom <[email protected]>
Tue, 19 May 2020 18:00:29 +0000 (15:00 -0300)
committerGitHub <[email protected]>
Tue, 19 May 2020 18:00:29 +0000 (15:00 -0300)
Revert "Created and Tested Dockerfile"


Trivial merge