Andreas Dangel 7f154e10ac [doc] Exclude and remove unnecessary files

2020-04-24 09:54:45 +02:00

..

prince-list.txt

…

titlepage.html

Update theme from https://github.com/tomjohnson1492/documentation-theme-jekyll

2017-05-25 10:22:39 +02:00

tocpage.html

…