mirror of
https://github.com/zeek/zeek.git
synced 2025-10-17 05:58:20 +00:00
![]() Closes #4102
Surely it won't take over 10 seconds to create the file
(cherry picked from commit
|
||
---|---|---|
.. | ||
base | ||
policy | ||
site | ||
check-test-all-policy.zeek |