diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2021-10-26 14:45:30 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-26 14:45:30 +0200 |
commit | 5667822edc24598788a1f90b923b6b41b733cb8b (patch) | |
tree | ba88819376096592cbe916e0654e19c537d7e628 /src/nix/make-content-addressable.cc | |
parent | 0d9e050ba719515620a2e320a7b6bba35f1d1df6 (diff) | |
parent | ec9c1286ad5caf2e77907dc2548085f02cce5237 (diff) |
Merge pull request #5421 from bew/fix-devshell-build-on-non-nixos
Fix devShell build on non-NixOS with a different boost version
Diffstat (limited to 'src/nix/make-content-addressable.cc')
0 files changed, 0 insertions, 0 deletions