aboutsummaryrefslogtreecommitdiff
path: root/docs/_layouts
Commit message (Collapse)AuthorAgeFilesLines
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-073-4/+44
|
* Append baseurl to necessary linksFelix Mulder2016-10-061-4/+4
|
* Remove relative links for markdown pluginFelix Mulder2016-10-061-1/+9
| | | | | This plugin caused the Github site builder to kill the build (github has a limited number of trusted plugins - this wasn't one of them).
* Add Jekyll as static site generatorFelix Mulder2016-10-062-0/+41