From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 12 Mar 2022 01:25:47 +0000 (-0700)
Subject: Merge pull request #1342 from wkral/no-add-history
X-Git-Tag: v0.9.1~116
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=dfbdaa9dab436d1e0825cb20df0f9af1b35e0b83;p=scryer-prolog.git

Merge pull request #1342 from wkral/no-add-history

Add --no-add-history flag
---

dfbdaa9dab436d1e0825cb20df0f9af1b35e0b83