mirror of
https://github.com/zhigang1992/mitmproxy.git
synced 2026-04-28 12:15:00 +08:00
inserting " .. option::" tags create ugly markup, so we just ditch this entirely and continue using refs.
inserting " .. option::" tags create ugly markup, so we just ditch this entirely and continue using refs.