var structlibpagemaker_1_1PMDDummyDeleter = [ [ "operator()", "structlibpagemaker_1_1PMDDummyDeleter.html#aab270c09fe096c4e558ad883f75d9cff", null ] ];
var structlibpagemaker_1_1PMDDummyDeleter = [ [ "operator()", "structlibpagemaker_1_1PMDDummyDeleter.html#aab270c09fe096c4e558ad883f75d9cff", null ] ];