diff options
| author | John MacFarlane <[email protected]> | 2025-11-30 13:18:25 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-11-30 13:20:39 +0100 |
| commit | 66cbd2471fd2ad4e0aeb8c71c85ff319976ad587 (patch) | |
| tree | c969ef6617f914882d896dbbc301782592762f2e /src | |
| parent | 58e741a0d60259f4153e5952358b9ccb5d043cdc (diff) | |
Give long form of option as well as short.
See #11306.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions
