Nico Weber ade82bd0b0 Document the change from #921 in the manual.		2015-06-18 17:28:20 -07:00
..
docbook.xsl	move from asciidoc html to asciidoc -> docbook -> html	2013-02-16 17:13:10 -08:00
doxygen.config	move various doc files out of top-level directory	2011-05-14 16:11:41 -07:00
manual.asciidoc	Document the change from #921 in the manual.	2015-06-18 17:28:20 -07:00
style.css	slightly smaller subsections	2013-04-10 10:08:51 -07:00