diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-05 19:26:32 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-16 03:31:23 +0200 |
| commit | dce5566785a313b0e20bc183dbfd7e2aa7499b53 (patch) | |
| tree | 0fa9c258876b0c2af8c97e8a14c5bff52ae9df01 /.gitignore | |
| parent | acdb3608cb1faf18826981ba2fecd8e7781e5e4b (diff) | |
[travis] Remove some more jobs from PR testing now that they are on Gitlab.
This is a "test" PR, but could be merged if we like it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions