diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-10-30 13:10:02 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2019-10-30 14:27:31 +0100 |
| commit | d314e8a818d4c162b1c7201533e6b600dcab2d91 (patch) | |
| tree | ead168b71776df14aa263bb28bb5678eaf9c0646 /src/prevector.h | |
| parent | ecad0a8019fb9e8503ec92b6057a5e649866e25e (diff) | |
refactor: Replace all uses of boost::optional with our own Optional type
After this:
- `boost::optional` is no longer used directly (only through `Optional`
which is an alias for it)
- `boost/optional.hpp` is only included in one place
Diffstat (limited to 'src/prevector.h')
0 files changed, 0 insertions, 0 deletions