aboutsummaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAgeFilesLines
* Downgrade JDK requirement from 11 to 8HEADmasterJakob Odersky2018-10-271-1/+1
* Initial commitJakob Odersky2018-10-2711-0/+183