diff options
| author | jvoisin | 2022-10-01 14:00:14 +0200 |
|---|---|---|
| committer | jvoisin | 2022-10-01 14:00:14 +0200 |
| commit | 5cfe176622798be4207852293b726014dc039478 (patch) | |
| tree | 945da25933a34cb03836da883974bb6d0a0b985e /doc/source | |
| parent | 655efa7bc32887ab3ed0d34f4b2d730c2a710619 (diff) | |
Fix an overzealous `const`
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions