summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorbell07 <web.alexander@web.de>2018-03-11 19:53:52 +0100
committerGitHub <noreply@github.com>2018-03-11 19:53:52 +0100
commit8d708ee4059137dddbc1cde1e2f5c7338f82583d (patch)
tree9a4fd82dc06c6eeeeb2c59bf8b408358a8981ebd /.gitignore
parent5a640bc12da36ac35c33051cffaf72d82fb2cafd (diff)
parent9b9daa7494bd8b5b24b526ebb7b305e1a6ba7960 (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