Skip to content

Improve documentations of the deprecated grb::init and grb::finalize#7

Merged
anyzelman merged 1 commit intodevelopfrom
409-grb-init-documentation
Apr 28, 2022
Merged

Improve documentations of the deprecated grb::init and grb::finalize#7
anyzelman merged 1 commit intodevelopfrom
409-grb-init-documentation

Commits

Commits on Apr 28, 2022