diff --git a/docs/html/md__benchmarks.html b/docs/html/md__benchmarks.html index 4c8a27c86..c87ff1e44 100644 --- a/docs/html/md__benchmarks.html +++ b/docs/html/md__benchmarks.html @@ -82,7 +82,7 @@ $(document).ready(function(){initNavTree('md__benchmarks.html','');});

Some other serialization systems we compared against but did not benchmark (yet), in rough order of applicability: