Merge pull request #62 from philburk/codesize
authorPhil Burk <philburk@mobileer.com>
Mon, 27 May 2019 14:09:06 +0000 (07:09 -0700)
committerGitHub <noreply@github.com>
Mon, 27 May 2019 14:09:06 +0000 (07:09 -0700)
pforth: allow header and code size to be controlled


Trivial merge