HSTS: slightly reworded and spelling corrected
authormartin-rublik <martin.rublik@gmail.com>
Mon, 2 Jun 2014 13:14:56 +0000 (14:14 +0100)
committermartin-rublik <martin.rublik@gmail.com>
Mon, 2 Jun 2014 13:14:56 +0000 (14:14 +0100)
commit6310da849c77c59281830c53c202522b844afedc
treeaace965c04fa8923b53e3ff820393c1d09adfb7f
parent31ce9a9b3f5345e9314857ae9be224ce82e9573b
HSTS: slightly reworded and spelling corrected
src/theory/tls/HSTS.tex