]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #517 from panasenco/docker
authorMark Thom <[email protected]>
Tue, 19 May 2020 14:30:08 +0000 (11:30 -0300)
committerGitHub <[email protected]>
Tue, 19 May 2020 14:30:08 +0000 (11:30 -0300)
Created and Tested Dockerfile


Trivial merge