diff options
| author | jackpoz <giacomopoz@gmail.com> | 2016-01-30 00:13:22 +0100 |
|---|---|---|
| committer | jackpoz <giacomopoz@gmail.com> | 2016-01-30 00:13:22 +0100 |
| commit | d75469e31f03d45a72e3deff9ef97ffd5098e23b (patch) | |
| tree | 0feff5107fc9db9346171b754f0f96eddf5fc10a /src/server/database/Updater | |
| parent | cb8f64cb63c9262717c7a019a581bd284579583c (diff) | |
Scripts/Deadmines: Fix issues reported by static analysis
Fix Coverity issue id 1022474
Diffstat (limited to 'src/server/database/Updater')
0 files changed, 0 insertions, 0 deletions