Johannes Rudolph df3f886db8 !htc #15687 enable https hostname verification on Java 7+		2015-08-03 10:43:25 +02:00
..
_sphinx	+doc #17669 better section header and TOC navigation	2015-07-08 13:09:51 +02:00
rst	!htc #15687 enable https hostname verification on Java 7+	2015-08-03 10:43:25 +02:00