diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-08-10 13:38:06 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-08-10 13:38:06 +0100 |
| commit | bfb116b8b4a959fee699cb601b455669bd9fb8ab (patch) | |
| tree | 8f87f738169e21695caa7b2be3d73d4ddcd3a988 /src/shared_string.cc | |
| parent | f5e4562bd9e242fb8f0f2496611129d81eaf3d7e (diff) | |
Move option name completion to the OptionRegistry
Option names are the same for every option manager.
Diffstat (limited to 'src/shared_string.cc')
0 files changed, 0 insertions, 0 deletions