diff options
author | Daniel Stenberg <daniel@haxx.se> | 2014-10-04 16:12:06 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2014-10-04 16:15:47 +0200 |
commit | 55678c6951b2d7d1b8a1b32208af9c03a2a7d426 (patch) | |
tree | 824963ef01f0d51d5e0cb9aaf2d620a77d9da539 /src/Makefile.inc | |
parent | 793ac8035c14c47d0cf8c138304e65478804ca74 (diff) |
getparameter: comment a switch FALLTHROUGH
Coverity CID 1061118. Point out that it is on purpose.
Diffstat (limited to 'src/Makefile.inc')
0 files changed, 0 insertions, 0 deletions