diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-22 22:41:40 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-22 22:41:40 +0200 |
| commit | 61f15878deeee8195166419bef482a9206fdf3f2 (patch) | |
| tree | 74591d55b6a279406841347b29512f8d07f059a8 /platform/android/java/src | |
| parent | 980b81dd2a95ce2a53999a8d33f6e30f9f0d8784 (diff) | |
| parent | 5c6be1aea54fc392227b0dcf846a5a82bc7adb38 (diff) | |
Merge pull request #21283 from YeldhamDev/gridmap_meshlib_rename
Rename instances of the word "theme" to "mesh_library" in GridMap and MeshLibrary editors
Diffstat (limited to 'platform/android/java/src')
0 files changed, 0 insertions, 0 deletions