diff options
author | Pharap <2933055+Pharap@users.noreply.github.com> | 2018-08-18 09:27:06 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-18 09:27:06 +0100 |
commit | b410611ffcdcb822d69c828f01dd6216c1ef3348 (patch) | |
tree | 03a2265bc42338d884c89a95059acb76bfc8519a /extras/pack.pullrequest.bash | |
parent | c6ce36d56cd5e874e60c3ba8a36cc77c307df718 (diff) |
Prevent possible compiler warning
Casting to void is a well known trick for prevening 'unused parameter' warnings.
Diffstat (limited to 'extras/pack.pullrequest.bash')
0 files changed, 0 insertions, 0 deletions