diff options
| author | jvoisin | 2021-01-05 19:43:50 +0100 |
|---|---|---|
| committer | jvoisin | 2021-01-05 19:43:50 +0100 |
| commit | 42c56b40233ed7c8da29a7ae54631bc7e651b639 (patch) | |
| tree | c89f597c410e20cdf722a92b68f9193d4d13ba7c /doc | |
| parent | a88bb925fa410e898a3970c3e4a3e7237536724f (diff) | |
Fix a superfluous `const`
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions