diff options
author | 2017-06-29 10:32:05 +0000 | |
---|---|---|
committer | 2017-06-29 10:32:05 +0000 | |
commit | d941536ff9333c80242bad25983db0364d008c16 (patch) | |
tree | 431d3f36be6d299d125c9461bb8ae96582e3234b /docs/development | |
parent | 80e1ee94abf1d555cc8e6c42625ea0513458b779 (diff) | |
parent | d06479ad83229c51e36ec48c3821e68e9e31e2f6 (diff) |
Merge "ci: Remove variable set by jjb scripts"
Diffstat (limited to 'docs/development')
0 files changed, 0 insertions, 0 deletions