var group___column_size_options =
[
    [ "SZ_MAND", "group___column_size_options.html#ga8b5e15a9b6fad72e86b2b4c9a1057076", null ],
    [ "SZ_NONE", "group___column_size_options.html#ga166e84c30cf17277cd9c7bfd3ba6b4fa", null ],
    [ "SZ_NUM", "group___column_size_options.html#ga85f3174f6cdbac2e10a2555af00553d2", null ],
    [ "SZ_OPT", "group___column_size_options.html#gacb630c837f7d133fc0cefb9fa3d13537", null ]
];