diff options
| author | Eric Wong <e@80x24.org> | 2019-05-28 23:48:51 +0000 |
|---|---|---|
| committer | Eric Wong <e@80x24.org> | 2019-05-29 08:05:27 +0000 |
| commit | bc76942dee09114695b276b45dd9221cd651defb (patch) | |
| tree | b73f7b2f7fd37f4873980edeb8633dbc015f27f0 /script/public-inbox-index | |
| parent | ec204b4d9009a56365b8eb9d5ece50dc7f19e616 (diff) | |
| download | public-inbox-bc76942dee09114695b276b45dd9221cd651defb.tar.gz | |
And use singular `opt' to be consistent with the common name of 'getopt'.
Diffstat (limited to 'script/public-inbox-index')
0 files changed, 0 insertions, 0 deletions