aboutsummaryrefslogtreecommitdiff
path: root/lib/http.mli
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-01-13 23:52:45 +0000
committerAdelyn Breedlove <[email protected]>2019-01-13 23:52:45 +0000
commitd95f0342f9cf2280b5d9794ab638c16a59c02a69 (patch)
tree191164d198c07cf388d9aae8a54013e5613c272c /lib/http.mli
parentMerge branch 'dev' into 'master' (diff)
parentAdd deriving sexp to models (diff)
downloaddisml-d95f0342f9cf2280b5d9794ab638c16a59c02a69.tar.xz
disml-d95f0342f9cf2280b5d9794ab638c16a59c02a69.zip
Merge branch 'switch-to-deriving_yojson' into 'master'
Switch to deriving yojson See merge request Mishio595/disml!12
Diffstat (limited to 'lib/http.mli')
-rw-r--r--lib/http.mli1
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/http.mli b/lib/http.mli
deleted file mode 100644
index 858420a..0000000
--- a/lib/http.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make(T : S.Token) : S.Http \ No newline at end of file