diff options
author | Maximilian Hils <git@maximilianhils.com> | 2016-06-06 19:08:46 -0700 |
---|---|---|
committer | Maximilian Hils <git@maximilianhils.com> | 2016-06-06 19:10:19 -0700 |
commit | 83f852298132ef6c3757cdc10a34f237a2df33ab (patch) | |
tree | 891a880b85d8ca06ffb07405464fd0c5745d78b7 /web/src/js/components/header.js | |
parent | 9a1cc166434a505a18e48501d96cb0081601f99e (diff) | |
download | mitmproxy-83f852298132ef6c3757cdc10a34f237a2df33ab.tar.gz mitmproxy-83f852298132ef6c3757cdc10a34f237a2df33ab.tar.bz2 mitmproxy-83f852298132ef6c3757cdc10a34f237a2df33ab.zip |
docs: remove option directive
inserting " .. option::" tags create ugly markup, so we just ditch this
entirely and continue using refs.
Diffstat (limited to 'web/src/js/components/header.js')
0 files changed, 0 insertions, 0 deletions