Vadim Zeitlin 9bbfbf821c Use simpler HTML5 doctype in the documentation index ...

Also don't pretend to be XML.

2016-03-03 22:17:22 +01:00

5.5 KiB

Raw Blame History

View Raw