diff options
Diffstat (limited to '2025/ocaml/docs/index_extensions.html')
| -rw-r--r-- | 2025/ocaml/docs/index_extensions.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/2025/ocaml/docs/index_extensions.html b/2025/ocaml/docs/index_extensions.html new file mode 100644 index 0000000..38625df --- /dev/null +++ b/2025/ocaml/docs/index_extensions.html @@ -0,0 +1,17 @@ +<html> +<head> +<link rel="stylesheet" href="style.css" type="text/css"> +<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> +<meta name="viewport" content="width=device-width, initial-scale=1"> +<link rel="Start" href="index.html"> +<link title="Index of modules" rel=Appendix href="index_modules.html"> +<link title="Main" rel="Chapter" href="Main.html"><title>Index of extensions</title> +</head> +<body> +<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> + </div> +<h1>Index of extensions</h1> +<table> +</table> +</body> +</html> |