Commit message (Collapse) | 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 | 3 | -2/+8 |
| | |||||
* | Update manual page | Jakob Odersky | 2017-12-28 | 1 | -5/+4 |
| | |||||
* | Update debian files | Jakob Odersky | 2017-12-28 | 2 | -2/+1 |
| | |||||
* | Add dependencies | Jakob Odersky | 2017-12-26 | 1 | -1/+1 |
| | |||||
* | Write manpage | Jakob Odersky | 2017-12-26 | 2 | -26/+8 |
| | |||||
* | Clean up debian configuration files | Jakob Odersky | 2017-12-26 | 19 | -634/+19 |
| | |||||
* | Add install file | Jakob Odersky | 2017-12-26 | 1 | -0/+3 |
| | |||||
* | Initial debianization | Jakob Odersky | 2017-12-26 | 21 | -0/+792 |