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 /lib | |
parent | 236828d06f512b44457970795e44068d9d38ad3e (diff) |
Filter: Getting rid of RESULT_OK. Adding RESULT_VOID.
This is a preparation for filter pre-evaluation.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions