diff options
Diffstat (limited to 'doc/html/Properties.html')
| -rw-r--r-- | doc/html/Properties.html | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/html/Properties.html b/doc/html/Properties.html index 438cd83..d9d2c13 100644 --- a/doc/html/Properties.html +++ b/doc/html/Properties.html @@ -42,8 +42,6 @@ <a href="Debugging.html">Debugging</a> <a href="Environment.html">Environment</a> <a href="ddl.html">DDL</a> - <br> - <a href="Ragged.html">Ragged Arrays</a> </td></tr> </table> </center> @@ -151,8 +149,6 @@ <a href="Debugging.html">Debugging</a> <a href="Environment.html">Environment</a> <a href="ddl.html">DDL</a> - <br> - <a href="Ragged.html">Ragged Arrays</a> </td></tr> </table> </center> |