aboutsummaryrefslogtreecommitdiff
path: root/debian/manpage.xml.ex
Commit message (Expand)AuthorAgeFilesLines
* Clean up debian configuration filesJakob Odersky2017-12-261-291/+0
* Initial debianizationJakob Odersky2017-12-261-0/+291