diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-14 17:32:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-14 17:32:03 +0200 |
| commit | 0af387f04011d45db1174bc2d48012d4ff4c9dfa (patch) | |
| tree | 8b0122113ac784912ecb9e79dc60874c876b2477 /scene/resources/default_theme | |
| parent | 40f2480d0e0330a5444c04094632765b640546c8 (diff) | |
| parent | 349e924cad20fcbea9d0866fe5e63c8ae5a98acc (diff) | |
Merge pull request #29514 from MuffinManKen/os-feature-tags-docs
Improvements to OS.has_feature() docs
Diffstat (limited to 'scene/resources/default_theme')
0 files changed, 0 insertions, 0 deletions