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 /scripts | |
| 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 'scripts')
0 files changed, 0 insertions, 0 deletions