Simon Michael 07dda4d178 doc: 1.14 manuals snapshot ... [ci skip]		2019-03-01 17:47:56 -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.14 manuals snapshot	2019-03-01 17:47:56 -08:00