diff options
author | 2018-05-25 09:09:30 +0000 | |
---|---|---|
committer | 2018-05-25 09:09:30 +0000 | |
commit | ea3c10e5533ae4bdbb3fc449e3baf2eb256b2ae3 (patch) | |
tree | cb89e70b1766ecd6eb47dbda4827a599840007c9 /ci/build_deb | |
parent | fca5504bcb2f14ad36d9a29658a6a7c96c29d8bc (diff) | |
parent | 1b82fb75641e8350f0218c086a85e5bfec8a1977 (diff) |
Merge "manage local patches"
Diffstat (limited to 'ci/build_deb')
0 files changed, 0 insertions, 0 deletions