From: Mark Thom Date: Tue, 19 May 2020 14:30:08 +0000 (-0300) Subject: Merge pull request #517 from panasenco/docker X-Git-Tag: v0.8.123~13 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1c0c660c3287927299b57faaaf716c918653c790;p=scryer-prolog.git Merge pull request #517 from panasenco/docker Created and Tested Dockerfile --- 1c0c660c3287927299b57faaaf716c918653c790