aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Add gitignoreJakob Odersky2017-12-261-0/+7
* Add install fileJakob Odersky2017-12-261-0/+3
* Remove unnecessary MakefileJakob Odersky2017-12-261-7/+0
* Initial debianizationJakob Odersky2017-12-2621-0/+792
* Add makefileJakob Odersky2017-12-261-0/+7
* Initial commitJakob Odersky2017-12-263-0/+69