equal
deleted
inserted
replaced
23 |
23 |
24 // TODO: these strings will become globally unique URIs (or IRIs) after moving to alt2xml and relative/unprefixed names should also work |
24 // TODO: these strings will become globally unique URIs (or IRIs) after moving to alt2xml and relative/unprefixed names should also work |
25 |
25 |
26 /** general options of the INI parser */ |
26 /** general options of the INI parser */ |
27 namespace option { |
27 namespace option { |
|
28 static const char* AllowLineContinuationWithEscaping = "allow-line-continuation-with-escaping"; |
|
29 static const char* AllowLineContinuationWithSpace = "allow-line-continuation-with-space"; |
28 static const char* TrimContinuingLines = "trim-continuing-lines"; |
30 static const char* TrimContinuingLines = "trim-continuing-lines"; |
29 static const char* AllowSections = "allow-sections"; |
31 static const char* AllowSections = "allow-sections"; |
30 static const char* AllowSectionTags = "allow-section-tags"; |
32 static const char* AllowSectionTags = "allow-section-tags"; |
31 static const char* AllowSubKeys = "allow-sub-keys"; |
33 static const char* AllowSubKeys = "allow-sub-keys"; |
32 static const char* CommentSeparators = "comment-separators"; |
34 static const char* CommentSeparators = "comment-separators"; |