summaryrefslogtreecommitdiff
path: root/src/lib/pol
diff options
context:
space:
mode:
authorDimitri Staessens <dimitri.staessens@ugent.be>2018-11-29 20:25:32 +0100
committerSander Vrijders <sander.vrijders@ugent.be>2018-11-30 09:27:14 +0100
commit555e0a91ee711599b909857a9aae3ac83310b3fa (patch)
tree50068eb7b1e587ed224034dd1188a5bf099756f6 /src/lib/pol
parent5f5edf2ddb94bbf7571d511eb6bdbe8d3798408b (diff)
downloadouroboros-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