Sun, 26 Sep 2021 12:01:25 +0200
remove unnecessary check
var searchData= [ ['properties_2eh',['properties.h',['../properties_8h.html',1,'']]] ];