Merge pull request #452 from cr1901/master
authorClifford Wolf <clifford@clifford.at>
Sat, 18 Nov 2017 08:58:40 +0000 (09:58 +0100)
committerGitHub <noreply@github.com>
Sat, 18 Nov 2017 08:58:40 +0000 (09:58 +0100)
commita4195e83c74bb4d69be181077923d2cb94bfcfc6
treee039d9c02d0f81c6201f5bb24b9e72530d0d8a46
parentc01df04e32f7913622f40ced56fcb523ac96d35f
parentabc5b4b8cebff1bd27b2a1766a251319b70115c6
Merge pull request #452 from cr1901/master

Accommodate Windows-style paths during include-file processing.