equal
deleted
inserted
replaced
43 } |
43 } |
44 |
44 |
45 /** not options but a values of the dialect option */ |
45 /** not options but a values of the dialect option */ |
46 namespace dialect { |
46 namespace dialect { |
47 static const char* JavaProperties = "java-properties"; |
47 static const char* JavaProperties = "java-properties"; |
|
48 static const char* JavaManifestMF = "java-manifest-mf"; |
48 } |
49 } |
49 |
50 |
50 /** options for configuring the stage where events from the INI parser are converted to SAX events or DOM building */ |
51 /** options for configuring the stage where events from the INI parser are converted to SAX events or DOM building */ |
51 namespace xml { |
52 namespace xml { |
52 static const char* TreeWithNamespaces = "tree-with-namespaces"; |
53 static const char* TreeWithNamespaces = "tree-with-namespaces"; |