|
config
|
update user id on official server
|
2017-04-21 13:04:41 +02:00 |
|
doc
|
include readme file
|
2017-02-24 13:35:52 +01:00 |
|
verify
|
include official release gpg key
|
2017-02-23 15:12:11 +01:00 |
|
make-release.sh
|
update build zone
|
2017-04-10 23:48:11 +02:00 |
|
release-ci.sh
|
cleanup
|
2017-04-21 13:26:54 +02:00 |