diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2022-08-10 12:02:32 +0300 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2022-08-10 12:02:32 +0300 |
| commit | fa351b1b1321fe4b9f5201d8ebb6aa42cff27fad (patch) | |
| tree | 48eb9254feebb508fac60681c6c5b32b0677c9e5 /doc/src | |
| parent | b6ef167564905e8dab8af1b1dba0997ec61204ca (diff) | |
Remove unused short option from getopt_long() call
The option was removed in 3ce7f72529 but the letter was left in the
getopt_long() call.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions