aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Move certificate check and copy to scriptHEADmasterJakob Odersky2018-01-133-21/+46
|
* Remove email from scriptJakob Odersky2018-01-122-3/+4
|
* Make script more robustJakob Odersky2018-01-123-13/+32
|
* Fix dependencies and typoJakob Odersky2017-12-293-2/+8
|
* Update manual pageJakob Odersky2017-12-281-5/+4
|
* Update debian filesJakob Odersky2017-12-283-6/+1
|
* Add readme and licenseJakob Odersky2017-12-282-0/+753
|
* Remove letsencryptdomains file: get domains from configJakob Odersky2017-12-282-15/+18
|
* Add dependenciesJakob Odersky2017-12-261-1/+1
|
* Write manpageJakob Odersky2017-12-262-26/+8
|
* Clean up debian configuration filesJakob Odersky2017-12-2620-634/+19
|
* 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