diff options
author | Pavel Janík <Pavel@Janik.cz> | 2017-07-15 21:06:04 +0200 |
---|---|---|
committer | Pavel Janík <Pavel@Janik.cz> | 2017-07-15 21:19:44 +0200 |
commit | 4d4fb33fce0803f9c923307bdf82b8fdd2ed140b (patch) | |
tree | b7ea69b4a03b7b2d8aaf49a06a5073971b7f7153 /src/script/ismine.h | |
parent | afd2fca911c4a5e3a4d1f0993a226d40f250aff4 (diff) |
Rename member field according to the style guide.
Diffstat (limited to 'src/script/ismine.h')
0 files changed, 0 insertions, 0 deletions