diff options
| author | Daniel Neus <[email protected]> | 2015-12-22 21:50:43 +0100 |
|---|---|---|
| committer | Daniel Neus <[email protected]> | 2015-12-22 21:50:43 +0100 |
| commit | aedb8d8ef646ed480296eb0a53513c74475cef08 (patch) | |
| tree | b57a9fc558d859baf39730278b7f56d881c31e6e /doc/os.rst | |
| parent | a589d7a2ede70871d3f563ed34cdd3c10046e5c2 (diff) | |
some trivial compiler/PVS-Studio warning fixes
Diffstat (limited to 'doc/os.rst')
0 files changed, 0 insertions, 0 deletions