mirror of
https://github.com/zeek/zeek.git
synced 2025-10-03 15:18:20 +00:00
We're unlikely to fundamentally change (or remove) this field at this point, and some users wondered whether we might do so, given the labeling. |
||
|---|---|---|
| .. | ||
| files | ||
| frameworks | ||
| misc | ||
| packet-protocols | ||
| protocols | ||
| utils | ||
| init-bare.zeek | ||
| init-default.zeek | ||
| init-frameworks-and-bifs.zeek | ||
| init-supervisor.zeek | ||