diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-07-25 01:08:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-25 01:08:31 +0200 |
commit | 4080e7ff8e992735028f18807713dd0e57c3af9c (patch) | |
tree | 54069156043fa7965bbf8e32327dfeead557368f /platform/android/java_glue.h | |
parent | e1a1441f4f3cc523ffd6fda7f4bed6a484f46d06 (diff) | |
parent | 982c4d7d5cf8142b9275cd7ba7dea140945b1377 (diff) |
Merge pull request #20300 from Chaosus/editorsettings_fixes
Few fixes for editor tab in editor settings
Diffstat (limited to 'platform/android/java_glue.h')
0 files changed, 0 insertions, 0 deletions