diff options
Diffstat (limited to 'docs/group__malloc.html')
| -rw-r--r-- | docs/group__malloc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/group__malloc.html b/docs/group__malloc.html index 6bd71d0..bee7b4e 100644 --- a/docs/group__malloc.html +++ b/docs/group__malloc.html @@ -37,7 +37,7 @@ <td id="projectlogo"><img alt="Logo" src="mimalloc-logo.svg"/></td> <td id="projectalign" style="padding-left: 0.5em;"> <div id="projectname">mi-malloc -  <span id="projectnumber">1.0</span> +  <span id="projectnumber">1.4</span> </div> </td> <td> <div id="MSearchBox" class="MSearchBoxInactive"> |