]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #556 from panasenco/docker docker origin/docker
authorMark Thom <[email protected]>
Fri, 22 May 2020 21:54:10 +0000 (18:54 -0300)
committerGitHub <[email protected]>
Fri, 22 May 2020 21:54:10 +0000 (18:54 -0300)
Valid Dockerfile and README


Trivial merge