diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2022-03-22 11:28:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-22 11:28:16 +0100 |
commit | 63f564ccf247dd6d2019f0b73a6f3a0bfe3826d2 (patch) | |
tree | 429cb7b5be04f4c1e377f459ff97e30127880792 /configure.ac | |
parent | e4ff4308665614202123ac9b46f2f9921ff41e47 (diff) | |
parent | 0b42afe02794a446d20066c0e9931b9c759d36e2 (diff) |
Merge pull request #6294 from edolstra/filter-manifest
buildProfile(): Ignore manifest.{nix,json}
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions