Skip to content

Commit

Permalink
Regenerate spicy docs
Browse files Browse the repository at this point in the history
  • Loading branch information
timwoj committed Jan 24, 2025
1 parent b5b46aa commit 459da33
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion devel/spicy/autogen/init-bare.zeek
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@ export {
# doc-options-end

# doc-types-start
## Result type for `Spicy::resource_usage()`. The values reflect resource
## Result type for ``Spicy::resource_usage()``. The values reflect resource
## usage as reported by the Spicy runtime system.
type ResourceUsage: record {
user_time : interval; ##< user CPU time of the Zeek process
Expand Down
2 changes: 1 addition & 1 deletion ext/spicy-pygments.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Copyright (c) 2020-2023 by the Zeek Project. See LICENSE for details.
# Copyright (c) 2020-now by the Zeek Project. See LICENSE for details.

from pygments.lexer import RegexLexer, bygroups, include, words
from pygments.token import (
Expand Down

0 comments on commit 459da33

Please sign in to comment.