aboutsummaryrefslogtreecommitdiff
path: root/documentation/4.1/manual.md
Commit message (Expand)AuthorAgeFilesLines
* Update siteJakob Odersky2019-06-151-4/+4
* Update documentation to version 4.1.2Jakob Odersky2017-12-031-4/+4
* Update website to include version 4.1.0Jakob Odersky2017-04-171-0/+222