aboutsummaryrefslogtreecommitdiff
path: root/docs/_layouts/default.html
Commit message (Expand)AuthorAgeFilesLines
* Fix highlighting in search, add highlights in forwarding linksFelix Mulder2016-11-071-0/+22
* Fix #1675: add `edit on github` buttonFelix Mulder2016-11-071-0/+3
* Fix #1674: add search to doc siteFelix Mulder2016-11-071-0/+1
* Fix #1668 - add encoding for default docs layoutdos652016-11-061-0/+2
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-071-3/+5
* Append baseurl to necessary linksFelix Mulder2016-10-061-4/+4
* Remove relative links for markdown pluginFelix Mulder2016-10-061-1/+9
* Add Jekyll as static site generatorFelix Mulder2016-10-061-0/+23