diff options
author | Jay Krell <jay.krell@cornell.edu> | 2020-03-11 12:17:53 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-11 12:17:53 +0300 |
commit | 731b9cac54de4fb31f66183beadeff599da0f32b (patch) | |
tree | 2da3451cf983359ddfb6c5845f1a185f4326034c /.gitattributes | |
parent | 0ef53bae78542fa0159cb68238f5564aa38d7a1c (diff) |
[mini] Fix warning about unused variables. (#19182)
/s/mono2/mono/mini/mini-generic-sharing.c:1415:9: warning: unused variable
'param_names' [-Wunused-variable]
char **param_names;
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions