diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-07 13:44:00 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-07 13:44:00 +0100 |
commit | 7c454d918682c072a6ae6ad8e0cd8d35b9edd2aa (patch) | |
tree | 608e31ea813f5ad931dfc621dacfb2e0ef6714b8 /proto/rpki/rpki.h | |
parent | abae1cc58b7c4ccf683651a6fcd51cfaecd03566 (diff) |
BSD: Minor fix of penultimate commit
Diffstat (limited to 'proto/rpki/rpki.h')
0 files changed, 0 insertions, 0 deletions