Fri, 27 Dec 2024 13:01:31 +0100
avoid copying the filled data in the json parser when possible - fixes #530
var searchData= [ ['ucx_2eh',['ucx.h',['../ucx_8h.html',1,'']]], ['utils_2eh',['utils.h',['../utils_8h.html',1,'']]] ];