diff options
| author | Frank LENORMAND <lenormf@gmail.com> | 2017-04-09 09:30:35 +0300 |
|---|---|---|
| committer | Frank LENORMAND <lenormf@gmail.com> | 2017-04-09 09:30:35 +0300 |
| commit | 1c53822068a135fd7f31e329476100c3de2e5d15 (patch) | |
| tree | 021150710b88a3599e0960589623727f5bb25991 /src/command_manager.cc | |
| parent | 79faae854614f56947c78f71d4d502bfd906900e (diff) | |
doc: Fix the name of a now unexisting face
Closes #1317
Diffstat (limited to 'src/command_manager.cc')
0 files changed, 0 insertions, 0 deletions