From: Phil Burk <philburk@mobileer.com>
Date: Sat, 25 Jul 2015 01:02:21 +0000 (-0700)
Subject: Merge pull request #10 from philburk/fix-history
X-Git-Url: http://git.subgeniuskitty.com/pforth/.git/commitdiff_plain/922f2e38fe5332fae47d11af0473e9662c4b09fb

Merge pull request #10 from philburk/fix-history

Fix auto.term in history
---

922f2e38fe5332fae47d11af0473e9662c4b09fb