diff options
Diffstat (limited to '3rdparty/rapidjson/doc/pointer.md')
-rw-r--r-- | 3rdparty/rapidjson/doc/pointer.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/3rdparty/rapidjson/doc/pointer.md b/3rdparty/rapidjson/doc/pointer.md index 3927a12ec6e..b343d78ed7c 100644 --- a/3rdparty/rapidjson/doc/pointer.md +++ b/3rdparty/rapidjson/doc/pointer.md @@ -1,6 +1,6 @@ # Pointer -## Status: experimental, shall be included in v1.1 +(This feature was released in v1.1.0) JSON Pointer is a standardized ([RFC6901]) way to select a value inside a JSON Document (DOM). This can be analogous to XPath for XML document. However, JSON Pointer is much simpler, and a single JSON Pointer only pointed to a single value. |