diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-17 13:46:26 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-17 13:46:26 +0200 |
commit | b94a35ef40437e8ba6eff561697e7d4a6b8d053a (patch) | |
tree | 1ea99bc5f549aee5aea1284e7fe894ba896a82bf /tests/filter-source.sh | |
parent | fe5cbfd48ff863f21a20b84e324ecfd6395673cb (diff) | |
parent | 520895b1dac1b82be9f571df3981a15cfada2968 (diff) |
Merge pull request #4027 from tweag/fix-gc-of-ca-derivations
Fix garbage collection of CA derivations
Diffstat (limited to 'tests/filter-source.sh')
0 files changed, 0 insertions, 0 deletions