diff options
author | Drew DeVault <sir@cmpwn.com> | 2017-11-30 12:14:58 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-30 12:14:58 -0500 |
commit | 779cccf8b421b99031884f4d2886e788ac77a6eb (patch) | |
tree | 6a6278ee1b8ad6a38d16471d07202f67a776353c /include/backend | |
parent | 5d7eb438d9dde68ce185daf977a0c27a1398bbc9 (diff) | |
parent | cef6d7549131cfee7cd60ada0388a2766335c70a (diff) |
Merge pull request #452 from moritz31/move-os-compatibility
Moved os-compatibility and added header
Diffstat (limited to 'include/backend')
0 files changed, 0 insertions, 0 deletions