diff options
author | Ryan Kavanagh <rak@rak.ac> | 2020-06-07 20:27:11 -0400 |
---|---|---|
committer | Ryan Kavanagh <rak@rak.ac> | 2020-06-07 20:27:11 -0400 |
commit | a0e8f6962478913ebebac34769af081374742219 (patch) | |
tree | 5b0beca7feea91d3d9b26687cd78d4d40702c844 /gemini/mimeTextGemini.mli | |
parent | Added SENSITIVE_INPUT (diff) |
Add support for quoted lines
Diffstat (limited to '')
-rw-r--r-- | gemini/mimeTextGemini.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gemini/mimeTextGemini.mli b/gemini/mimeTextGemini.mli index aa8d462..941cf94 100644 --- a/gemini/mimeTextGemini.mli +++ b/gemini/mimeTextGemini.mli @@ -14,6 +14,7 @@ sig | Pre of string (* preformatted text line *) | Text of string (* plain text line *) | Ul of string (* unordered list item *) + | Quoted of string (* quoted text *) type gemini = gemini_line list @@ -37,6 +38,8 @@ sig val str_to_list_line : string -> gemini_line + val str_to_quoted_line : string -> gemini_line + val str_to_gemini : string -> gemini end |