branch | v_0 |
changeset 33 | 3b81fbeb5f3b |
parent 32 | 193c643f4ffe |
child 34 | 7eb3dcacba7b |
--- a/src/lib/uri.h Sun Nov 29 10:50:16 2020 +0100 +++ b/src/lib/uri.h Sun Dec 13 17:34:26 2020 +0100 @@ -45,6 +45,7 @@ /** not options but a values of the dialect option */ namespace dialect { static const char* JavaProperties = "java-properties"; +static const char* JavaManifestMF = "java-manifest-mf"; } /** options for configuring the stage where events from the INI parser are converted to SAX events or DOM building */