aboutsummaryrefslogtreecommitdiff
path: root/debian
Commit message (Expand)AuthorAgeFilesLines
* Update debian filesJakob Odersky2017-12-282-2/+1
* Add dependenciesJakob Odersky2017-12-261-1/+1
* Write manpageJakob Odersky2017-12-262-26/+8
* Clean up debian configuration filesJakob Odersky2017-12-2619-634/+19
* Add install fileJakob Odersky2017-12-261-0/+3
* Initial debianizationJakob Odersky2017-12-2621-0/+792