diff options
| author | Eike Plack <github@ekie.antares.uberspace.de> | 2015-08-31 17:00:34 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-10-02 13:54:08 +0100 |
| commit | faa3b3b17317077115cc946601ab015b65ab2b37 (patch) | |
| tree | 823d529d35c1458e6f3248d56b790c412700d6ce /src/shell_manager.cc | |
| parent | a6cd7640426df744451f2800076561ceacc06340 (diff) | |
Add self documentation to ui_options
* For now the non ui code will hold this information. Ideally the UI would
be able to describe its options in some way.
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions