diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2022-08-15 22:47:14 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2022-08-15 22:47:14 -0700 |
| commit | e7fa9c4c232c8411b1b118cd0f78d5d2aeec52e3 (patch) | |
| tree | 44cd3cbbedf71cb296901cb86ba24e72468c9ff4 /linux | |
| parent | ce3cd28a6a91a96b00d35584202e8202e468d2ab (diff) | |
make debpkg: get rid of docker.log.
Let things come out on the CI output.
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions