Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-07 00:58:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
8253 commits 387 branches 195 tags 259 MiB
Commit graph

2 commits

Author SHA1 Message Date
Jon Siwek
5ebe47ec23 Remove "contents" Sphinx directive usages 
Seems redundant: same info is always available in RTD theme's
floating sidebar.
 2018-12-19 17:28:17 -06:00
Jon Siwek
7e9d48f532 Remove broxygen Sphinx integration 
The broxygen-generated files now live in the git repo, have tests
that check that they are up-to-date, and a script to re-generate
them on-demand.
 2018-12-18 10:15:22 -06:00