diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2021-07-23 00:56:48 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-23 00:56:48 +0200 |
commit | df4e209fb0d2dba662fa755f9d049372f3fc2c53 (patch) | |
tree | fd86d8a6128c03e6defdf532334f7418ec43d056 /.github | |
parent | 5fb7e6a9b5230c1bd825912f4d3ac46d13730cc4 (diff) |
Remove bad attribute maybe_unused
`CGAL_UNUSED` or `[[maybe_unused]]` is useful if we name the argument but don't use it. If we don't name it, the attribute is wrong as it would apply to the type and not the variable.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions