mirror of
https://github.com/zeek/zeek.git
synced 2025-10-09 18:18:19 +00:00
small fixes, less leakiness
This commit is contained in:
parent
2aa0f6da57
commit
1d39eaf32d
2 changed files with 41 additions and 58 deletions
|
@ -16,7 +16,6 @@ export {
|
|||
name: string;
|
||||
## descriptive name. for later removal
|
||||
|
||||
|
||||
pred: function(typ: Input::Event, left: any, right: any): bool &optional;
|
||||
## decision function, that decides if an inserton, update or removal should really be executed
|
||||
};
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue