diff options
author | 2016-09-03 14:37:09 +0200 | |
---|---|---|
committer | 2016-09-03 14:37:09 +0200 | |
commit | ff9c4b5acb76cde0246f48c44f531989c1e7c7cb (patch) | |
tree | 1319c4838a69e76ae8a099b82d026bf8add86797 /3rdparty/rapidjson/doc/pointer.md | |
parent | a6409d692ef748e6b8f7980d6bcb74a0a466d9cb (diff) |
Update RapidJson to latest (nw)
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. |