From ae1f5e3513ec731a2c8d57fb44dc9f3f4be60c63 Mon Sep 17 00:00:00 2001 From: Adelyn Breedlove Date: Fri, 18 Jan 2019 11:11:32 -0700 Subject: GitHub needs to named /docs not /doc --- doc/index.html | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 doc/index.html (limited to 'doc/index.html') 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 @@ - - - - index - - - - - -
-
-

OCaml package documentation

-
    -
  1. disml 0.2.0
    2. -
-
-
- - \ No newline at end of file -- cgit v1.2.3