Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Clean up debian configuration files | Jakob Odersky | 2017-12-26 | 20 | -634/+19 |
* | Add gitignore | Jakob Odersky | 2017-12-26 | 1 | -0/+7 |
* | Add install file | Jakob Odersky | 2017-12-26 | 1 | -0/+3 |
* | Remove unnecessary Makefile | Jakob Odersky | 2017-12-26 | 1 | -7/+0 |
* | Initial debianization | Jakob Odersky | 2017-12-26 | 21 | -0/+792 |
* | Add makefile | Jakob Odersky | 2017-12-26 | 1 | -0/+7 |
* | Initial commit | Jakob Odersky | 2017-12-26 | 3 | -0/+69 |