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 --- docs/index.html | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 docs/index.html (limited to 'docs/index.html') diff --git a/docs/index.html b/docs/index.html new file mode 100644 index 0000000..44a891a --- /dev/null +++ b/docs/index.html @@ -0,0 +1,19 @@ + + + + index + + + + + +
+
+

OCaml package documentation

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