var class_digital_stamp_size =
[
    [ "height", "class_digital_stamp_size.html#a3a97733d00573396c01600e1cca64ba4", null ],
    [ "width", "class_digital_stamp_size.html#a9e44be33e73c632672fa316a949cc1c9", null ]
];