diff options
Diffstat (limited to 'doc/extensions.html')
| -rw-r--r-- | doc/extensions.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/extensions.html b/doc/extensions.html index 8385727b..7d12299c 100644 --- a/doc/extensions.html +++ b/doc/extensions.html | |||
| @@ -50,8 +50,6 @@ td.excinterop { | |||
| 50 | </li><li> | 50 | </li><li> |
| 51 | <a href="ext_ffi_api.html">ffi.* API</a> | 51 | <a href="ext_ffi_api.html">ffi.* API</a> |
| 52 | </li><li> | 52 | </li><li> |
| 53 | <a href="ext_ffi_int64.html">64 bit Integers</a> | ||
| 54 | </li><li> | ||
| 55 | <a href="ext_ffi_semantics.html">FFI Semantics</a> | 53 | <a href="ext_ffi_semantics.html">FFI Semantics</a> |
| 56 | </li></ul> | 54 | </li></ul> |
| 57 | </li><li> | 55 | </li><li> |