diff options
| author | Dimitri Staessens <dimitri.staessens@ugent.be> | 2018-11-29 20:25:32 +0100 |
|---|---|---|
| committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-11-30 09:27:14 +0100 |
| commit | 555e0a91ee711599b909857a9aae3ac83310b3fa (patch) | |
| tree | 50068eb7b1e587ed224034dd1188a5bf099756f6 /src/lib/pol | |
| parent | 5f5edf2ddb94bbf7571d511eb6bdbe8d3798408b (diff) | |
| download | ouroboros-555e0a91ee711599b909857a9aae3ac83310b3fa.tar.gz ouroboros-555e0a91ee711599b909857a9aae3ac83310b3fa.zip | |
tools: Fix server name argument in oping
The --server-name option was mistyped with an underscore in the
argument parser.
Signed-off-by: Dimitri Staessens <dimitri.staessens@ugent.be>
Signed-off-by: Sander Vrijders <sander.vrijders@ugent.be>
Diffstat (limited to 'src/lib/pol')
0 files changed, 0 insertions, 0 deletions