Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Port old site to dottydoc | Felix Mulder | 2017-01-31 | 2 | -2/+1 |
| | |||||
* | Fix highlighting in search, add highlights in forwarding links | Felix Mulder | 2016-11-07 | 3 | -17/+53 |
| | |||||
* | Fix #1674: add search to doc site | Felix Mulder | 2016-11-07 | 2 | -0/+63 |
| | |||||
* | Migrate dotty.epfl.ch to static site in repository | Felix Mulder | 2016-10-07 | 1 | -0/+21 |
| | |||||
* | Add Jekyll as static site generator | Felix Mulder | 2016-10-06 | 1 | -0/+2 |