diff options
Diffstat (limited to 'doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html')
-rw-r--r-- | doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html b/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html index 83f1dbee57..e73850ce1d 100644 --- a/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html +++ b/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html @@ -34,7 +34,7 @@ </span>BOOST_TYPE_INDEX_USER_TYPEINDEX</pre></div> <div class="refsect1"> -<a name="idm45927736141328"></a><h2>Description</h2> +<a name="idp658269232"></a><h2>Description</h2> <p>BOOST_TYPE_INDEX_USER_TYPEINDEX can be defined to the path to header file with user provided implementation of type_index.</p> <p>See <a href="boost_typeindex/making_a_custom_type_index.html" target="_top">Making a custom type_index</a> section of documentation for usage example. </p> </div> |