diff options
author | bell07 <web.alexander@web.de> | 2018-03-11 19:53:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-11 19:53:52 +0100 |
commit | 8d708ee4059137dddbc1cde1e2f5c7338f82583d (patch) | |
tree | 9a4fd82dc06c6eeeeb2c59bf8b408358a8981ebd /.gitignore | |
parent | 5a640bc12da36ac35c33051cffaf72d82fb2cafd (diff) | |
parent | 9b9daa7494bd8b5b24b526ebb7b305e1a6ba7960 (diff) |
Merge pull request #10 from minetest-mods/player_assignment_not_case_sensitive
Compare player assignment non case sensitive
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions