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