From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 22 May 2020 19:04:03 +0000 (-0300)
Subject: Merge pull request #552 from mthom/master
X-Git-Tag: v0.8.123~2^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c10c05e9242ab160cd71cdf610cbe4569428267b;p=scryer-prolog.git

Merge pull request #552 from mthom/master

Scryer Dockerfile
---

c10c05e9242ab160cd71cdf610cbe4569428267b