Alexander Graf 57393f619d doc: Don't force links to be opened in new tab		2020-08-09 08:08:17 +02:00
..
layout.html	doc: Don't force links to be opened in new tab	2020-08-09 08:08:17 +02:00
page.html	doc: link next section at the end of each page	2018-01-13 19:15:32 +01:00
search.html	Fixes and enhancements to documentation theme	2019-01-01 14:23:08 +01:00