HomeIsabelle/Phabricator

Merge pull request #119 from pclayton/Mac_OS_X_10.15

Authored by dcjm on Dec 1 2019, 1:09 PM.

Description

Merge pull request #119 from pclayton/Mac_OS_X_10.15

Remove unnecessary #include that breaks some builds

Event Timeline

GitHub <noreply@github.com> committed rPOLYML44efa473da58: Merge pull request #119 from pclayton/Mac_OS_X_10.15 (authored by David Matthews <dm@prolingua.co.uk>).Dec 1 2019, 1:09 PM

Merged Changes

CommitAuthorDetailsCommitted
90d5b885a143Phil Clayton
Remove unnecessary #include that breaks some builds 
Nov 30 2019