aboutsummaryrefslogtreecommitdiff
path: root/docs/_includes
Commit message (Collapse)AuthorAgeFilesLines
* Update feature list on webpageFelix Mulder2016-11-091-7/+2
|
* 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-075-17/+354
|
* Append baseurl to necessary linksFelix Mulder2016-10-061-15/+15
|
* Add Jekyll as static site generatorFelix Mulder2016-10-062-0/+56