About This repository holds the generated source files for the https://dotty.epfl.ch website. This repository is read-only and is maintained by editing files in the lampepfl/dotty repository on GitHub.