Diffusion HEJ 6ad054693bc0

deprecate HEJ::optional
6ad054693bc0
Actions

Tags

None

Subscribers

None

Description

deprecate HEJ::optional

Details

Provenance

amaier	Authored on Apr 21 2022, 1:16 PM
amaier	Pushed on Mar 22 2023, 7:11 AM

Parents

rHEJ44d321ce507e: use std::optional everywhere

Branches

Unknown

Tags

Unknown

Event Timeline

amaier committed rHEJ6ad054693bc0: deprecate HEJ::optional (authored by amaier).May 17 2022, 7:37 AM

Changes (1)

Path

Size

include/

HEJ/

rHEJ6ad054693bc0

include/HEJ/optional.hh

Loading...