diff options
| author | Paul Ouellette <oue.paul18@gmail.com> | 2019-11-08 16:18:20 -0500 |
|---|---|---|
| committer | SmallJoker <SmallJoker@users.noreply.github.com> | 2019-11-08 22:18:20 +0100 |
| commit | d11bfa3ef5e8d63068096c52bc2faccba65b0b47 (patch) | |
| tree | 62123c193e89c107b47df2acb82e1cc385d999d5 /build/android/gradle/wrapper/gradle-wrapper.properties | |
| parent | 2a74727857a9bfd950ce1e6a58e0ade879033574 (diff) | |
| download | minetest-d11bfa3ef5e8d63068096c52bc2faccba65b0b47.tar.gz minetest-d11bfa3ef5e8d63068096c52bc2faccba65b0b47.tar.bz2 minetest-d11bfa3ef5e8d63068096c52bc2faccba65b0b47.zip | |
Make core.get_favorites("local") ignore duplicates (#7926)
Diffstat (limited to 'build/android/gradle/wrapper/gradle-wrapper.properties')
0 files changed, 0 insertions, 0 deletions