equal
deleted
inserted
replaced
35 } |
35 } |
36 |
36 |
37 namespace unescaping { |
37 namespace unescaping { |
38 static const char* Basic = "unescape-basic"; |
38 static const char* Basic = "unescape-basic"; |
39 static const char* JavaProperties = "unescape-java-properties"; |
39 static const char* JavaProperties = "unescape-java-properties"; |
40 static const char* BackspaceDisorder = "unescape-backspace-disorder"; // TODO: remove BackspaceDisorder |
|
41 static const char* Backspace = "unescape-backspace"; |
40 static const char* Backspace = "unescape-backspace"; |
42 } |
41 } |
43 |
42 |
44 namespace dialect { |
43 namespace dialect { |
45 static const char* JavaProperties = "java-properties"; |
44 static const char* JavaProperties = "java-properties"; |