diff options
author | 2014-11-13 17:27:31 +0100 | |
---|---|---|
committer | 2014-11-13 17:27:31 +0100 | |
commit | 71168e740e028dc33e22652589b095e870888615 (patch) | |
tree | 071ce91b6b8c2bbe4f9ccd0a54ab9f7c1b7606f4 /osdep | |
parent | 13033ce2c4e05eaf031c09a4d41f3db9512af9c0 (diff) |
command: rename "option-flags" property to "option-info"
Diffstat (limited to 'osdep')
0 files changed, 0 insertions, 0 deletions