diff options
Diffstat (limited to 'docs/manual/developer/API.html')
| -rw-r--r-- | docs/manual/developer/API.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/developer/API.html b/docs/manual/developer/API.html index 456da2f1ba..98c442a84f 100644 --- a/docs/manual/developer/API.html +++ b/docs/manual/developer/API.html @@ -596,7 +596,7 @@ of the strings, as a unit; for instance: returns a pointer to 8 bytes worth of memory, initialized to <code>"foo/bar"</code>. -<h3>Tracking open files, etc.</h3> +<h3><a name="pool-files">Tracking open files, etc.</a></h3> As indicated above, resource pools are also used to track other sorts of resources besides memory. The most common are open files. The |