diff options
author | Robin Gareus <robin@gareus.org> | 2019-11-21 17:43:32 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-11-21 17:43:32 +0100 |
commit | 216492c60c30860d973de132462cb05bab755b34 (patch) | |
tree | 6b62abe1e181f4e2d83edb28b34c90a17edfb05c /.gitignore | |
parent | 53b1d17c60bc59d1d20c7d3486b76628eeedfc43 (diff) |
Bump boost version requirement
1.56 is needed for boost::optional::value_or
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions