summaryrefslogtreecommitdiff
path: root/proto/rpki/rpki.h
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2020-10-05 14:52:55 +0200
committerOndrej Zajicek (work) <santiago@crfreenet.org>2020-10-05 14:52:55 +0200
commit6c11dbcf28faa145cfb7310310a2a261fd4dd1f2 (patch)
tree0e74abec61b534cb170a29c0f722d450bc9f2868 /proto/rpki/rpki.h
parent14ce8904e7b9f6ceeaf2587faeab200cd67401d9 (diff)
Doc: Fix missing semicolons
Thanks to Marco Gartmann for the bugreport.
Diffstat (limited to 'proto/rpki/rpki.h')
0 files changed, 0 insertions, 0 deletions