aboutsummaryrefslogtreecommitdiff
path: root/docs/js
Commit message (Expand)AuthorAgeFilesLines
* Port old site to dottydocFelix Mulder2017-01-312-2/+1
* Fix highlighting in search, add highlights in forwarding linksFelix Mulder2016-11-073-17/+53
* Fix #1674: add search to doc siteFelix Mulder2016-11-072-0/+63
* Migrate dotty.epfl.ch to static site in repositoryFelix Mulder2016-10-071-0/+21
* Add Jekyll as static site generatorFelix Mulder2016-10-061-0/+2