equal
deleted
inserted
replaced
42 |
42 |
43 namespace dialect { |
43 namespace dialect { |
44 static const char* JavaProperties = "java-properties"; |
44 static const char* JavaProperties = "java-properties"; |
45 } |
45 } |
46 |
46 |
|
47 namespace xml { |
|
48 static const char* TreeWithNamespaces = "tree-with-namespaces"; |
|
49 static const char* TreeStyle = "tree-style"; |
|
50 |
|
51 static const char* XMLNS = "tag:globalcode.info,2018:alt2xml:TEMPORARY:ini"; // not an option and might change, just preliminary namespace |
|
52 } |
|
53 |
47 } |
54 } |
48 } |
55 } |
49 } |
56 } |
50 } |
57 } |