diff options
| author |   Morgan Richomme <morgan.richomme@orange.com> | 2016-02-04 10:05:26 +0000 |
|---|---|---|
| committer |   Gerrit Code Review <gerrit@172.30.200.206> | 2016-02-04 10:05:26 +0000 |
| commit | 7d07e223f5a5ff18de1bc83377b7be345a2ef01f (patch) | |
| tree | bbe1451a97be23963407d20fbd3a54d1429809bf /jjb/doctor | |
| parent | c7ce265255c6b0da2559fa749119e82670a41ec1 (diff) | |
| parent | 07f2dc5fdad5658b1e371d47093887ff7e1c478f (diff) | |
Merge "Remove rm local files (they will be cleaned with the container and can be useful anyway)"
Diffstat (limited to 'jjb/doctor')
0 files changed, 0 insertions, 0 deletions