Make some unused parameters as such

Review Request #1891 — Created Oct. 4, 2022 and submitted — Latest diff uploaded

Information

traversity/traversity
default

Reviewers

Make some unused parameters as such

Compiled and verified the warnings were gone.

Commits

Files