Simon Michael 1a29d9cc02 doc: better doc version indicator, on 0.27 manual too #385, #387		2016-08-07 08:44:06 -07:00
..
highslide	site: move manual, devguide here; move out of doc/	2015-11-05 19:32:17 -08:00
site.js	doc: better doc version indicator, on 0.27 manual too #385, #387	2016-08-07 08:44:06 -07:00