larshp a17b32a7b0 fix #784		2017-06-11 11:23:31 +00:00
..
footer.html	docs: some tweaks	2017-05-21 20:45:29 +03:00
head.html	fix favicon	2017-05-21 20:25:37 +02:00
header.html	fix doc home link 2	2017-05-21 21:45:56 +03:00
navigation.html	fix #784	2017-06-11 11:23:31 +00:00