diff options
| author |  wm4 <wm4@nowhere> | 2018-02-21 12:43:15 +0100 |
|---|---|---|
| committer |  Kevin Mitchell <kevmitch@gmail.com> | 2018-02-28 00:55:06 -0800 |
| commit | e76fda8594a7fa19888260c86d95396c5e799cad (patch) | |
| tree | 43e766c7543bd24dcf6b253f8b039de0fed85675 /DOCS/man/options.rst | |
| parent | d6921678b916474bdd0eb20f95ad9a4dcd054afe (diff) | |
m_option: remove unneded compatibility features
Aliases that set old options are not needed anymore. Also extend the
total size of the aliases array for one of the following commits.
Diffstat (limited to 'DOCS/man/options.rst')
0 files changed, 0 insertions, 0 deletions