Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Move certificate check and copy to scriptHEADmaster | Jakob Odersky | 2018-01-13 | 1 | -7/+1 |
* | Fix dependencies and typo | Jakob Odersky | 2017-12-29 | 1 | -1/+1 |
* | Clean up debian configuration files | Jakob Odersky | 2017-12-26 | 1 | -0/+46 |