src/lib/uri.h
branchv_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 */