From: Phil Burk <philburk@mobileer.com>
Date: Mon, 2 Jan 2017 16:28:10 +0000 (-0800)
Subject: Merge pull request #30 from ellerh/implement-flush-file
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=82b409b0854d22efe9bbf8b2e7c2d003ab06e2e3;hp=-c;p=debian%2Fpforth

Merge pull request #30 from ellerh/implement-flush-file

Implement FLUSH-FILE
---

82b409b0854d22efe9bbf8b2e7c2d003ab06e2e3