diff options
author | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-05-20 18:50:42 +0300 |
---|---|---|
committer | Lars Wirzenius <lwirzenius@wikimedia.org> | 2019-05-20 18:50:42 +0300 |
commit | c8fa7b686f9eabaa73ae2f1523e806db7105535d (patch) | |
tree | a01ca61774011030231195b56380c5ea1f96ca7b /ci-arch.pdf | |
parent | a6d2225697a1adcbf58603004a882da5e0999ef3 (diff) | |
download | wmf-ci-arch-c8fa7b686f9eabaa73ae2f1523e806db7105535d.tar.gz |
Change: clarify CLEANWORKSPACE and add CLEANBUILDENV
Diffstat (limited to 'ci-arch.pdf')
0 files changed, 0 insertions, 0 deletions