diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-10-22 19:49:08 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-10-22 19:49:08 +0100 |
| commit | c77cb7c777ffc6f23ad53003d3531c1957fcdd0b (patch) | |
| tree | 2f4454188d84c1a6ed20169ad2b6b5f62b384e80 /src/shell_manager.cc | |
| parent | 019b3235b0e7aaad086631e1ee9b3102f096d349 (diff) | |
Extract WordDB::RankedWord as RankedMatch in its own file
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions