diff options
| author | fanquake <fanquake@gmail.com> | 2021-02-17 09:04:20 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2021-02-17 09:04:20 +0800 |
| commit | cad8b527eaf7a93877e2249960866fd4db2d1c14 (patch) | |
| tree | 73dcf875bd9d3fb2698019c0efb8dac1bd6a42a9 /.gitignore | |
| parent | 7c8e605bf4207d176e3a706f8928fae557e49a24 (diff) | |
build: explicitly install libboost-dev package
This package is currently installed as a side-effect of installing our
other libboost-*-dev packages. However as those continue to dissapear,
it makes sense to install boost dev explicitly.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions