diff options
Diffstat (limited to 'docs/doc/primitive.html')
| -rw-r--r-- | docs/doc/primitive.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/doc/primitive.html b/docs/doc/primitive.html index 586ff7e0..2a9e9111 100644 --- a/docs/doc/primitive.html +++ b/docs/doc/primitive.html @@ -512,13 +512,13 @@ </tr> <tr> <td><code><span class='Modifier'>´</span></code></td> -<td>Fold</td> +<td><a href="fold.html">Fold</a></td> <td></td> <td></td> </tr> <tr> <td><code><span class='Modifier'>˝</span></code></td> -<td>Insert</td> +<td><a href="fold.html">Insert</a></td> <td></td> <td></td> </tr> |