diff options
author | Paweł Krupa <pawel@krupa.net.pl> | 2018-09-22 13:22:06 +0200 |
---|---|---|
committer | Costa Tsaousis <costa@tsaousis.gr> | 2018-09-22 14:22:06 +0300 |
commit | 9dcf1c772fdeb828c5e576b665419d9db6219b73 (patch) | |
tree | 93b17b9a69ff7536d0e95f368c4ab167097a75e0 /REDISTRIBUTED.md | |
parent | 381c2174d0d2dc36dcbd05b4d8f17620f00112ff (diff) |
Travis and docker setup after migration (#4247)
* fix travis
* add misc vars
* info contact
* add build script pushing to old repo
* add two more variables
Diffstat (limited to 'REDISTRIBUTED.md')
0 files changed, 0 insertions, 0 deletions