diff options
| author | jvoisin | 2021-01-01 16:31:33 +0100 |
|---|---|---|
| committer | jvoisin | 2021-01-01 16:31:33 +0100 |
| commit | 837fbdb88a513500520f057d27bdfedd0d3995ca (patch) | |
| tree | a311472f26ac4358f5c03311ea37e99e7d4facd7 /scripts | |
| parent | 0127dd9b9d1d81dbeb674bd956a10fbd83f42cdd (diff) | |
Constify a function
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions