diff options
Diffstat (limited to '2025/ocaml/docs/index.html')
| -rw-r--r-- | 2025/ocaml/docs/index.html | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/2025/ocaml/docs/index.html b/2025/ocaml/docs/index.html deleted file mode 100644 index f536f1a..0000000 --- a/2025/ocaml/docs/index.html +++ /dev/null @@ -1,22 +0,0 @@ -<!DOCTYPE html> -<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></title> -</head> -<body> -<div class = "index-list"> -<ul class="indexlist"> -<li><a href="index_modules.html">Index of modules</a></li> -</ul> -</div> - -<table class="indextable module-list"> -<tr><td class="module"><a href="Main.html">Main</a></td><td></td></tr> -</table> -</body> -</html> |
