diff options
Diffstat (limited to '2025/ocaml/docs/index_modules.html')
| -rw-r--r-- | 2025/ocaml/docs/index_modules.html | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/2025/ocaml/docs/index_modules.html b/2025/ocaml/docs/index_modules.html deleted file mode 100644 index b6588a3..0000000 --- a/2025/ocaml/docs/index_modules.html +++ /dev/null @@ -1,20 +0,0 @@ -<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 modules</title> -</head> -<body> -<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a> - </div> -<h1>Index of modules</h1> -<table> -<tr><td align="left"><div>M</div></td></tr> -<tr><td><a href="Main.html">Main</a> </td> -<td></td></tr> -</table> -</body> -</html> |