Merge remote-tracking branch 'origin/topic/awelzel/import-spicy-pygme… · zeek/zeek-docs@8592345 · GitHub

Commit

Merge remote-tracking branch 'origin/topic/awelzel/import-spicy-pygme…

Browse files

…nts'

* origin/topic/awelzel/import-spicy-pygments:
  ext: Sync spicy-pygments.py from Spicy repo

Loading branch information

awelzel committed Mar 18, 2024

2 parents a071940 + a9ad06f commit 8592345