Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 06:38:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Spicy: Reformat zeek.spicy with spicy-format.

Browse source
This commit is contained in:
Robin Sommer 2024-06-18 13:00:55 +02:00
parent 751c35b476
commit 93dd9d6797
No known key found for this signature in database
GPG key ID: D8187293B3FFE5D0
1 changed files with 26 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

1
scripts/spicy/zeek.spicy
View file

@ -198,3 +198,4 @@ public function forward_packet(identifier: uint32) : void &cxxname="zeek::spicy:
## Gets the network time from Zeek.
public function network_time(): time &cxxname="zeek::spicy::rt::network_time";