diff options
Diffstat (limited to 'docs/user-guide/toc.html')
| -rw-r--r-- | docs/user-guide/toc.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/user-guide/toc.html b/docs/user-guide/toc.html index b32ad71da..89ddf34d9 100644 --- a/docs/user-guide/toc.html +++ b/docs/user-guide/toc.html @@ -148,7 +148,6 @@ <li data-link="link-time-specialization#link-time-constants"><span>Link-time Constants</span></li> <li data-link="link-time-specialization#link-time-types"><span>Link-time Types</span></li> <li data-link="link-time-specialization#providing-default-settings"><span>Providing Default Settings</span></li> -<li data-link="link-time-specialization#restrictions"><span>Restrictions</span></li> <li data-link="link-time-specialization#using-precompiling-modules-with-the-api"><span>Using Precompiling Modules with the API</span></li> <li data-link="link-time-specialization#additional-remarks"><span>Additional Remarks</span></li> </ul> |