XhmikosR b04f97f60b Replace anchor.js with jekyll-anchor-headings. ...

This allows us to generate the anchor links on build time.

https://github.com/allejo/jekyll-anchor-headings

2018-11-20 11:47:10 +02:00

..

4.1

Replace anchor.js with jekyll-anchor-headings.

2018-11-20 11:47:10 +02:00

versions.html

Combine examples and simple layouts.

2018-10-15 12:54:51 +03:00