diff options
Diffstat (limited to 'doc/html/boostbook/dtd/type.html')
-rw-r--r--[-rwxr-xr-x] | doc/html/boostbook/dtd/type.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/html/boostbook/dtd/type.html b/doc/html/boostbook/dtd/type.html index f8323fd387..677c504299 100755..100644 --- a/doc/html/boostbook/dtd/type.html +++ b/doc/html/boostbook/dtd/type.html @@ -34,7 +34,7 @@ (ANY) </div> <div class="refsection"> -<a name="id3863317"></a><h2>Attributes</h2> +<a name="id3962133"></a><h2>Attributes</h2> <div class="informaltable"><table class="table"> <colgroup> <col> |