diff options
| author | Pablo Barciela <[email protected]> | 2020-03-09 15:21:29 +0100 |
|---|---|---|
| committer | Pablo Barciela <[email protected]> | 2020-03-09 15:31:21 +0100 |
| commit | 8052513a6eed2b9d36a1f9bcbd9dbcd2ce2e47f4 (patch) | |
| tree | 7e1e6af01671077c94a7f68d52dfe17f351f7ead /open-terminal | |
| parent | 3795633754f4ed88bbdef720294a49fc3531f975 (diff) | |
| download | caja-extensions-8052513a6eed2b9d36a1f9bcbd9dbcd2ce2e47f4.tar.bz2 caja-extensions-8052513a6eed2b9d36a1f9bcbd9dbcd2ce2e47f4.tar.xz | |
Travis CI: use Ubuntu devel instead 19.10
Diffstat (limited to 'open-terminal')
0 files changed, 0 insertions, 0 deletions