diff options
author | Bastien Montagne <montagne29@wanadoo.fr> | 2017-01-20 20:46:06 +0300 |
---|---|---|
committer | Bastien Montagne <montagne29@wanadoo.fr> | 2017-01-20 20:46:06 +0300 |
commit | 475d536f720df3ed9bed783e6d108fa1341fe541 (patch) | |
tree | b0d4882422096ffd040d3b0fd30a100c841b29e2 /make.bat | |
parent | a97ec403c28dc330b37459b1c94944ffe086abbb (diff) |
Fix minor glitches in GP code.
Reported by coverity scan.
Diffstat (limited to 'make.bat')
0 files changed, 0 insertions, 0 deletions