Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make script more robust | Jakob Odersky | 2018-01-12 | 1 | -1/+1 |
* | Fix dependencies and typo | Jakob Odersky | 2017-12-29 | 1 | -1/+1 |
* | Update debian files | Jakob Odersky | 2017-12-28 | 1 | -1/+1 |
* | Add dependencies | Jakob Odersky | 2017-12-26 | 1 | -1/+1 |
* | Clean up debian configuration files | Jakob Odersky | 2017-12-26 | 1 | -7/+6 |
* | Initial debianization | Jakob Odersky | 2017-12-26 | 1 | -0/+15 |