From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 20 Nov 2019 00:14:00 +0000 (-0400)
Subject: Merge pull request #234 from XVilka/patch-2
X-Git-Tag: v0.8.118~38^2~14
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d3842bb0704d010b8c6f6529abd234c62b7153d2;p=scryer-prolog.git

Merge pull request #234 from XVilka/patch-2

Fix README formatting
---

d3842bb0704d010b8c6f6529abd234c62b7153d2