Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Document dottydoc capabilities, add anchored headers | Felix Mulder | 2017-01-31 | 1 | -1/+1 |
* | Port old site to dottydoc | Felix Mulder | 2017-01-31 | 2 | -1/+4 |
* | Fix link | Martin Odersky | 2016-12-17 | 1 | -11/+5 |
* | Add conclusion to blog post | Martin Odersky | 2016-12-17 | 1 | -0/+10 |
* | Finished blog post | Martin Odersky | 2016-12-17 | 1 | -35/+225 |
* | More tests and starting a blog post | Martin Odersky | 2016-12-17 | 1 | -0/+170 |
* | Fix #1674: add search to doc site | Felix Mulder | 2016-11-07 | 1 | -2/+0 |
* | Migrate dotty.epfl.ch to static site in repository | Felix Mulder | 2016-10-07 | 1 | -1/+1 |
* | Add Jekyll as static site generator | Felix Mulder | 2016-10-06 | 6 | -2/+27 |
* | Add posts from dotty-website | Felix Mulder | 2016-10-06 | 5 | -11/+470 |
* | Move wiki into docs dir | Felix Mulder | 2016-10-06 | 1 | -0/+63 |