Simon Michael be3891234c doc: fix wrong 1.12 doc links ... [ci skip]		2018-12-03 09:36: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: fix wrong 1.12 doc links	2018-12-03 09:36:08 -08:00