diff options
author | Sergei Nikulov <snikulov@users.noreply.github.com> | 2018-03-22 16:34:11 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-22 16:34:11 +0300 |
commit | 6231a89aa3961e357d7eb717548463985de2d08d (patch) | |
tree | a5a389c668ccb8dcf3c89a2e765a96fbb5490847 /src/tool_setopt.h | |
parent | db1b2c7fe9b093f8c3d33304a47657ea4a6e65b4 (diff) |
timeval: remove compilation warning by casting (#2417)
This is fixes #2358
Diffstat (limited to 'src/tool_setopt.h')
0 files changed, 0 insertions, 0 deletions