diff options
author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-01-25 02:46:44 +0100 |
---|---|---|
committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-01-25 02:48:30 +0100 |
commit | 35b7295a714841c2fad6024331d7ab92b559f0aa (patch) | |
tree | 944311b88e31928edbb6ad3662690ea584285596 /platform/android/java_glue.h | |
parent | e8d34365085c2321acb0bd35aabbad293c74e744 (diff) |
Include filesystem dock split offset in editor layouts
Cherry-picked from 2ac89f65403c606ad9a3cdf65e591cb375faf024
Diffstat (limited to 'platform/android/java_glue.h')
0 files changed, 0 insertions, 0 deletions