diff options
| author | Claudius | 2019-05-13 13:27:17 +0200 |
|---|---|---|
| committer | Claudius | 2019-05-13 19:37:22 +0200 |
| commit | aa57b76a4fd291e67d75400e568266c35576ef94 (patch) | |
| tree | de668230ae52aa9b4cb53efb30428c19b1b0205c /docs/dev | |
| parent | 806ebe6e1abea47583ec57b6811b67958a2b3369 (diff) | |
updating travis config: readable job names, more recent distro
Signed-off-by: Claudius <opensource@amenthes.de>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions