diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-03-20T13·55+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-03-20T13·55+0100 |
commit | 78d0c72b52835161fd15058b111aa05d69ce062b (patch) | |
tree | 3da66ec33eee5876213985892669a98deb6e4deb /src/build-remote/build-remote.cc | |
parent | f5a2136a404553ce3462be0541123a3532bc0ab0 (diff) |
Fix coverage job
Diffstat (limited to 'src/build-remote/build-remote.cc')
0 files changed, 0 insertions, 0 deletions