diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-04-22 21:01:54 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-04-27 09:46:53 +0100 |
| commit | e01a658cea8f637781669ac664d0d4c2ca117282 (patch) | |
| tree | 91d54f9e5d4338afd5a84a2d50ad0688d0289344 /src/shell_manager.cc | |
| parent | 717e37f2f36e80fd27b07e71fbafec048d1ef635 (diff) | |
Make use of strongly typed number to size_t conversion
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions