diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2020-10-05 14:52:55 +0200 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2020-10-05 14:52:55 +0200 |
commit | 6c11dbcf28faa145cfb7310310a2a261fd4dd1f2 (patch) | |
tree | 0e74abec61b534cb170a29c0f722d450bc9f2868 /proto/rpki/config.Y | |
parent | 14ce8904e7b9f6ceeaf2587faeab200cd67401d9 (diff) |
Doc: Fix missing semicolons
Thanks to Marco Gartmann for the bugreport.
Diffstat (limited to 'proto/rpki/config.Y')
0 files changed, 0 insertions, 0 deletions