diff options
| author | Benoit de Chezelles <benoit.dechezelles@gmail.com> | 2021-10-23 15:32:48 +0200 |
|---|---|---|
| committer | Benoit de Chezelles <benoit.dechezelles@gmail.com> | 2021-10-23 15:32:48 +0200 |
| commit | ec9c1286ad5caf2e77907dc2548085f02cce5237 (patch) | |
| tree | 6fc09a0187a450c1f9f2a2bb4d5a78ee01f69e2c /scripts | |
| parent | 4a2b7cc68c7d11ec126bc412ffea838e629345af (diff) | |
Fix devShell build on non-NixOS with a different boost version
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions