summaryrefslogtreecommitdiff
path: root/proto/rpki
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2019-12-16 18:05:56 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2019-12-16 18:08:40 +0100
commit3232d1718636eb7617fedc7b27378cd1d8f8691d (patch)
tree9a5eaf048258b72afe4c95211e2dad2013a28204 /proto/rpki
parentc132acae362b6106c2eecbef2d8c163acde84035 (diff)
Doc: Fix documentation of BGP gateway option
Thanks to Nico Schottelius for the bugreport.
Diffstat (limited to 'proto/rpki')
0 files changed, 0 insertions, 0 deletions