aboutsummaryrefslogtreecommitdiff
path: root/debian/control
Commit message (Expand)AuthorAgeFilesLines
* Clean up debian configuration filesJakob Odersky2017-12-261-7/+6
* Initial debianizationJakob Odersky2017-12-261-0/+15