Merge branch 'win-diff' into 'master'
authorDavid Griffith <dave@661.org>
Tue, 9 Jul 2019 22:42:59 +0000 (22:42 +0000)
committerDavid Griffith <dave@661.org>
Tue, 9 Jul 2019 22:42:59 +0000 (22:42 +0000)
reduce diff to windows frotz

See merge request DavidGriffith/frotz!113


Trivial merge