mirror of
https://github.com/zeek/zeek.git
synced 2025-10-10 10:38:20 +00:00
![]() # The prefix for the header line if included. const header_prefix = "# " &redef; # The string to use for empty string fields. const empty_field = "" &redef; # The string to use for an unset optional field. const unset_field = "-" &redef; |
||
---|---|---|
.. | ||
output |