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 8b4ab21a6b..e90ea7d006 100644 --- a/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html +++ b/doc/html/BOOST_TYPE_INDEX_USER_TYPEINDEX.html @@ -33,7 +33,7 @@ </span>BOOST_TYPE_INDEX_USER_TYPEINDEX</pre></div> <div class="refsect1"> -<a name="idp482766208"></a><h2>Description</h2> +<a name="idp477722800"></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> |