diff options
author | Zeno- <kde.psych@gmail.com> | 2016-11-23 01:23:34 +1000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-23 01:23:34 +1000 |
commit | dbeb322f62bfdd431365622a6f5ddfae062c0d31 (patch) | |
tree | cdcab8ddcfb53bc1f59632278aab437e86af43e4 /src/util/areastore.h | |
parent | 4bf4154cad127560ffe831e7b2cd1a0b960d0f03 (diff) | |
download | minetest-dbeb322f62bfdd431365622a6f5ddfae062c0d31.tar.gz minetest-dbeb322f62bfdd431365622a6f5ddfae062c0d31.tar.bz2 minetest-dbeb322f62bfdd431365622a6f5ddfae062c0d31.zip |
No functional changes. Credit gcu
This merge doesn't make any functional changes. It's a trivial style fix so that @gregorycu can be dual credited along with shadowninja for PR #4800
Diffstat (limited to 'src/util/areastore.h')
0 files changed, 0 insertions, 0 deletions