diff options
| author | Adelyn Breedlove <[email protected]> | 2019-01-18 11:11:32 -0700 |
|---|---|---|
| committer | Adelyn Breedlove <[email protected]> | 2019-01-18 11:11:32 -0700 |
| commit | ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63 (patch) | |
| tree | 72712b3173085f1624fdd4427cf91df6139e5398 /doc/index.html | |
| parent | oml why is this so annoying (diff) | |
| download | disml-ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63.tar.xz disml-ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63.zip | |
GitHub needs to named /docs not /doc
Diffstat (limited to 'doc/index.html')
| -rw-r--r-- | doc/index.html | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/doc/index.html b/doc/index.html deleted file mode 100644 index 44a891a..0000000 --- a/doc/index.html +++ /dev/null @@ -1,19 +0,0 @@ -<!DOCTYPE html> -<html xmlns="http://www.w3.org/1999/xhtml"> - <head> - <title>index</title> - <link rel="stylesheet" href="./odoc.css"/> - <meta charset="utf-8"/> - <meta name="viewport" content="width=device-width,initial-scale=1.0"/> - </head> - <body> - <main class="content"> - <div class="by-name"> - <h2>OCaml package documentation</h2> - <ol> - <li><a href="disml/index.html">disml</a> <span class="version">0.2.0</span></li> - </ol> - </div> - </main> - </body> -</html>
\ No newline at end of file |