From a6522aa5dc3cca8deab411d7f54fe6e958b1c7e5 Mon Sep 17 00:00:00 2001 From: Paul-Elliot Date: Mon, 31 Jan 2022 14:58:44 +0100 Subject: [PATCH] removing json5 mention Signed-off-by: Paul-Elliot --- doc/index.mld | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/index.mld b/doc/index.mld index 4c9b4c5f..cedec8f2 100644 --- a/doc/index.mld +++ b/doc/index.mld @@ -10,7 +10,6 @@ for efficiency purposes. - Providing optional extensions of the JSON syntax. These extensions include comments, arbitrary strings, optional quotes around field names, tuples and variants. -- Eventually supporting the {{:https://json5.org}JSON5} standard See {{:http://json.org}JSON specification}.