Philipp Oppermann 0f72384ed9 Create the “Table of Contents” heading in javascript

2016-07-17 16:42:21 +02:00

..

analytics.html

Add google analytics

2016-04-30 14:30:11 +02:00

anchorjs.html

Add missing anchorjs partial

2016-05-02 17:30:12 +02:00

disqus.html

Add disqus comments

2016-04-30 14:30:43 +02:00

footer.html

Fix footer (missing </div>) and add link to contact page

2016-04-30 13:28:41 +02:00

head.html

Create the “Table of Contents” heading in javascript

2016-07-17 16:42:21 +02:00

header.html

Add RSS link

2016-04-30 14:31:24 +02:00