mirror of
https://github.com/zeek/zeek.git
synced 2025-10-04 23:58:20 +00:00
Converting to a (sorted) vector both renders the empty set cleanly (without whitespace) and ensures consistent ordering. |
||
|---|---|---|
| .. | ||
| __load__.zeek | ||
| api.zeek | ||
| config.zeek | ||
| main.zeek | ||