diff -r f686bdaeb9e0 -r c6527b45fbc2 src/lib/uri.h --- a/src/lib/uri.h Sun Nov 29 00:30:36 2020 +0100 +++ b/src/lib/uri.h Sun Nov 29 10:49:33 2020 +0100 @@ -44,6 +44,13 @@ static const char* JavaProperties = "java-properties"; } +namespace xml { +static const char* TreeWithNamespaces = "tree-with-namespaces"; +static const char* TreeStyle = "tree-style"; + +static const char* XMLNS = "tag:globalcode.info,2018:alt2xml:TEMPORARY:ini"; // not an option and might change, just preliminary namespace +} + } } }