Alexander Graf 4cf1ae847d Mention donation option in doc ...

(Suggested by #130)

2018-06-13 08:39:29 +02:00

..

globaltoc.html

Theme-related Documentation Enhancements

2018-04-28 15:47:04 +02:00

layout.html

Theme-related Documentation Enhancements

2018-04-28 15:47:04 +02:00

navbar.html

Mention donation option in doc

2018-06-13 08:39:29 +02:00

page.html

doc: link next section at the end of each page

2018-01-13 19:15:32 +01:00