Skip to content
This repository was archived by the owner on Oct 13, 2025. It is now read-only.

Commit eb19783

Browse files
committed
Regenerate spicy docs
1 parent f906149 commit eb19783

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

devel/spicy/autogen/init-bare.zeek

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ export {
2323
# doc-options-end
2424

2525
# doc-types-start
26-
## Result type for `Spicy::resource_usage()`. The values reflect resource
26+
## Result type for ``Spicy::resource_usage()``. The values reflect resource
2727
## usage as reported by the Spicy runtime system.
2828
type ResourceUsage: record {
2929
user_time : interval; ##< user CPU time of the Zeek process

ext/spicy-pygments.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# Copyright (c) 2020-2023 by the Zeek Project. See LICENSE for details.
1+
# Copyright (c) 2020-now by the Zeek Project. See LICENSE for details.
22

33
from pygments.lexer import RegexLexer, bygroups, include, words
44
from pygments.token import (

0 commit comments

Comments
 (0)