summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com>2025-07-16 15:13:14 +0200
committerManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com>2025-07-16 15:13:14 +0200
commit86f2904858d77ac01093be1222560a2cdb921161 (patch)
tree3b5b4327b435b9966776a9b1a2cec19d72d6459e /.github
parente444371b1831fc4f84ef554902a07f8d52b3573f (diff)
Remove warnings triggered by -Wredundant-decls (#1277)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions