diff options
author | 2017-11-13 23:19:03 +1100 | |
---|---|---|
committer | 2017-11-13 23:19:03 +1100 | |
commit | ff1ee66231084771e8ade0dbc1c04fd918ad9466 (patch) | |
tree | db109f572cb4c773f628cc680269862f25ddcb46 /options/m_property.h | |
parent | 41243e7c4f98b410195397b6758f9796acd9de57 (diff) |
appveyor: use git submodule update --init
Thanks @jeeb.
Diffstat (limited to 'options/m_property.h')
0 files changed, 0 insertions, 0 deletions