diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-08 18:04:36 +0100 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-08 18:04:36 +0100 |
commit | e3d4a851b7e1707d9068a9294b3bf26ad0845b35 (patch) | |
tree | e83918d9dd93f3131511142f96d13379a3783860 /platform/android/file_access_jandroid.h | |
parent | 3ad263eafe51a5d0a199c08e11ec1dca71d2e6cc (diff) | |
parent | b4602567cfdecd5f3d0772afb93ba93841d60b3c (diff) |
Merge pull request #3280 from neikeq/issue_3227
Fix TileSet not refreshed after exporting without merge
Diffstat (limited to 'platform/android/file_access_jandroid.h')
0 files changed, 0 insertions, 0 deletions