Tue, 18 Apr 2023 19:10:45 +0200
add destructor functions for maps - fixes #253
var searchData= [ ['ucx_2eh',['ucx.h',['../ucx_8h.html',1,'']]], ['utils_2eh',['utils.h',['../utils_8h.html',1,'']]] ];