doc: remove duplicate set of options
authorFrancois Marier <francois@mozilla.com>
Mon, 29 Oct 2012 03:13:10 +0000 (16:13 +1300)
committerBen Noordhuis <info@bnoordhuis.nl>
Tue, 30 Oct 2012 00:20:17 +0000 (01:20 +0100)
commit44dd2c392a1378c081b5b21cf5d987e7509457c9
treecbefc2910ec445e35d35384a9aa3bf236d096e31
parent326bce91d680ccf4a263f6c8696865cc800412d0
doc: remove duplicate set of options
doc/api/https.markdown