diff options
| author | jvoisin | 2022-05-03 00:04:50 +0200 |
|---|---|---|
| committer | jvoisin | 2022-05-03 00:04:50 +0200 |
| commit | efcc16ad74a32d4b735bad73690c49c5cdb63cb7 (patch) | |
| tree | c69082dc7c7a4957fa2520d1ae119f8a24099232 /doc/source | |
| parent | 5b25788a81bf7ad233d99cf3f5e9ce3dcc5e8602 (diff) | |
Add a `const`
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions