Simon Michael 305e0f28cf doc: 1.13 manuals snapshot		2019-02-01 17:54:21 -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: 1.13 manuals snapshot	2019-02-01 17:54:21 -08:00