diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-04-22 20:48:42 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-04-27 09:46:53 +0100 |
| commit | 717e37f2f36e80fd27b07e71fbafec048d1ef635 (patch) | |
| tree | 97d0e2b113c78c946bf333cd67bc1e073b23d0b0 /src/shell_manager.cc | |
| parent | 21644d17d6377a0e0eea6d6798f2b738504550d4 (diff) | |
Add checked, explicit conversion from strongly typed number for size_t
Diffstat (limited to 'src/shell_manager.cc')
0 files changed, 0 insertions, 0 deletions