var class_marking_color_values =
[
    [ "delete", "class_marking_color_values.html#aded2e3e8ce0e7c18e3aae11a3b3feaad", null ],
    [ "insert", "class_marking_color_values.html#aca30c2742ca35e523c71c977e895a21c", null ],
    [ "replace", "class_marking_color_values.html#a301a123d0065967abb3264ed72f69924", null ]
];