diff options
| author | Nick White <git@njw.name> | 2019-10-16 15:40:07 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-10-16 15:40:07 +0100 |
| commit | b5d712cb5a2cad026a2965ab52964e63ca0c6fe0 (patch) | |
| tree | 8275ee6688459cf71d354d5a0d2c1e05584f5816 /makefile%25252525253fh%25252525253dv0.2.1&id%25252525253d870fb0f3e01a0771d3839da2461e0cec30282bc0 | |
| parent | e92a3571e87ed6ac8aed4b6a5cb5a3fa489da4f4 (diff) | |
Ensure files are promptly closed by booktopipeline
Diffstat (limited to 'makefile%25252525253fh%25252525253dv0.2.1&id%25252525253d870fb0f3e01a0771d3839da2461e0cec30282bc0')
0 files changed, 0 insertions, 0 deletions