Skip to content
GitLab

add map_choose_or_empty

Merged Ralf Jung requested to merge jung/stdpp:map_empty_or_choose into master

Just a nice little convenience.

Edited by Ralf Jung