diff options
| author | Pablo Barciela <[email protected]> | 2019-10-21 19:33:33 +0200 |
|---|---|---|
| committer | Pablo Barciela <[email protected]> | 2019-10-21 19:34:14 +0200 |
| commit | cd8b76a287895000623a2ff57df74c442af2e318 (patch) | |
| tree | f7800a9603a64888c1ec7974c8c0e3a6ad97c849 /help/ps | |
| parent | 109acb1cb71e7ab8ea583fa83a4be65b05156c74 (diff) | |
| download | pluma-cd8b76a287895000623a2ff57df74c442af2e318.tar.bz2 pluma-cd8b76a287895000623a2ff57df74c442af2e318.tar.xz | |
Travis CI: use Ubuntu "19.10" instead "19.04"
Diffstat (limited to 'help/ps')
0 files changed, 0 insertions, 0 deletions