diff options
author | raveit65 <[email protected]> | 2019-05-27 18:44:49 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-05-27 18:44:49 +0200 |
commit | 21e12fb437c584d87ce7d00f3f64017ce344c4bf (patch) | |
tree | a80058339bf94065cae9fb465a08562569b06f7b /.github | |
parent | 7ed68176a12b781143cf80348e16f0ce74dd9d2a (diff) | |
download | mate-desktop-21e12fb437c584d87ce7d00f3f64017ce344c4bf.tar.bz2 mate-desktop-21e12fb437c584d87ce7d00f3f64017ce344c4bf.tar.xz |
travis: use ninja dist for release
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions