mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 14:48:21 +00:00
![]() records and this leads to unfortunate problems with external scripts that would have to convert values into bro port types themseves. |
||
---|---|---|
.. | ||
plugins | ||
__load__.bro | ||
consts.bro | ||
main.bro | ||
types.bro |