diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2016-10-16 19:28:01 +0100 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2016-10-16 20:01:33 +0100 |
| commit | d88f0784c1400a06efb1b09d0bfcfa31c284c7d7 (patch) | |
| tree | 5bd2e5603b8202361720ecbd92c5af315641d62a /src/scripts/Configure-os.c | |
| parent | 91d08eb383184828de154a118152a334e74f7668 (diff) | |
Tidying: coverity issues
Diffstat (limited to 'src/scripts/Configure-os.c')
0 files changed, 0 insertions, 0 deletions