diff options
| author | Maria Matejka <mq@ucw.cz> | 2019-07-01 12:07:06 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2019-07-01 12:07:06 +0200 |
| commit | f74d19765ea3fafdff8fd3443f50a7b309babe89 (patch) | |
| tree | 9d3777d93f1ffa9ae39f6a9ba9d46746936406a2 /proto/rpki | |
| parent | 236828d06f512b44457970795e44068d9d38ad3e (diff) | |
Filter: Getting rid of RESULT_OK. Adding RESULT_VOID.
This is a preparation for filter pre-evaluation.
Diffstat (limited to 'proto/rpki')
0 files changed, 0 insertions, 0 deletions