Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-03 23:28:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
311 commits 384 branches 195 tags 258 MiB
Commit graph

1 commit

Author SHA1 Message Date
Robin Sommer
b69ecff3ee More options for the ASCII writer. 
# 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;
 2011-03-09 16:52:46 -08:00