Simon Michael 9eb0a75242 doc: add 1.12 manuals snapshot		2018-12-02 17:39:08 -08:00
..
highslide	site: move manual, devguide here; move out of doc/	2015-11-05 19:32:17 -08:00
bootstrap.min.js	site: add missing js files	2018-03-25 13:16:12 +01:00
jquery-1.11.0.min.js	site: add missing js files	2018-03-25 13:16:12 +01:00
site.js	doc: add 1.12 manuals snapshot	2018-12-02 17:39:08 -08:00