From: Mark Thom Date: Tue, 19 May 2020 18:00:29 +0000 (-0300) Subject: Merge pull request #536 from mthom/revert-517-docker X-Git-Tag: v0.8.123~10 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=54d4dc6e1e64b2ed182810bacace7a8feafba5fe;p=scryer-prolog.git Merge pull request #536 from mthom/revert-517-docker Revert "Created and Tested Dockerfile" --- 54d4dc6e1e64b2ed182810bacace7a8feafba5fe