aboutsummaryrefslogtreecommitdiff
path: root/docs/_includes/toc.html
Commit message (Expand)AuthorAgeFilesLines
* Fix #1674: add search to doc siteFelix Mulder2016-11-071-0/+3
* linking cbt usage, merge after #1581Jan Christopher Vogt2016-10-111-0/+1
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-071-17/+19
* Append baseurl to necessary linksFelix Mulder2016-10-061-15/+15
* Add Jekyll as static site generatorFelix Mulder2016-10-061-0/+37