diff options
| author |  wm4 <wm4@nowhere> | 2016-08-31 13:25:28 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2016-08-31 14:46:21 +0200 |
| commit | f519887fe7571fb6e05f29b50d6f0bede1646b28 (patch) | |
| tree | ffa26a61efd4f2dd190d41e6cc049168004a6718 /options/m_property.c | |
| parent | 7614f2b3a6789c43e2fee1a2bbc0bdbcc72148f0 (diff) | |
input: use OPT_REPLACED for an old option alias
Diffstat (limited to 'options/m_property.c')
0 files changed, 0 insertions, 0 deletions