aboutsummaryrefslogtreecommitdiff
path: root/docs/_config.yml
Commit message (Expand)AuthorAgeFilesLines
* Fix #1675: add `edit on github` buttonFelix Mulder2016-11-071-0/+1
* Change base-url, so dotty.epfl.ch can build masterFelix Mulder2016-10-311-1/+1
* Change base url to match new CNAME from dotty.epfl.chFelix Mulder2016-10-311-1/+1
* Fix gh pages config fileFelix Mulder2016-10-061-1/+1
* Remove relative links for markdown pluginFelix Mulder2016-10-061-1/+0
* Add Jekyll as static site generatorFelix Mulder2016-10-061-0/+6