diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-07-18 12:36:09 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-18 12:36:09 +0200 |
commit | d603a74c53bbcd7d5f4b542999cea5ff9db33c89 (patch) | |
tree | 9a3413bfab76a504a58ecd74e248f99cbdc0d492 /platform/haiku | |
parent | bd9b8098fef50b034f71ae1942c74131a984f6ba (diff) | |
parent | 25e64ffa20a15abe6c435ae8abf517be209fea53 (diff) |
Merge pull request #20240 from matthew1006/has-custom-feature-tag-fix
Fixed OS.has_feature not using custom feature tags.
Diffstat (limited to 'platform/haiku')
0 files changed, 0 insertions, 0 deletions