diff options
| author | JosJuice <josjuice@gmail.com> | 2023-01-14 09:42:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-14 09:42:56 +0100 |
| commit | 9d350fd56b94086ba41a82e27a55a853035e7c9a (patch) | |
| tree | c04e6fbe509f0e90dcc656e5ded53695c46b104c /Source/Android/app/src/main/java | |
| parent | 8a1cac9be17f49100ce42d1b8a2ee39f9e8f76b7 (diff) | |
| parent | 4f397edab345ed9f52cf30d58631c32d8f6ce61c (diff) | |
Merge pull request #11437 from t895/grid-options-fix
Android: Fix grid options text borders
Diffstat (limited to 'Source/Android/app/src/main/java')
0 files changed, 0 insertions, 0 deletions