aboutsummaryrefslogtreecommitdiff
path: root/debian/mavigator.1
Commit message (Expand)AuthorAgeFilesLines
* Add debian packagingJakob Odersky2017-02-091-0/+29