aboutsummaryrefslogtreecommitdiff
path: root/dune
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2018-11-14 01:44:29 +0000
committerAdelyn Breedlove <[email protected]>2018-11-14 01:44:29 +0000
commit5bf5b020ae2b95d924cc4e39e73dd98490c7cc2d (patch)
tree9da8fb076a861afc5d21fff705484a0a57e9ab9a /dune
parentMerge branch 'dev' into 'master' (diff)
parentNew name who dis (diff)
downloaddisml-5bf5b020ae2b95d924cc4e39e73dd98490c7cc2d.tar.xz
disml-5bf5b020ae2b95d924cc4e39e73dd98490c7cc2d.zip
Merge branch 'dev' into 'master'
Dev See merge request Mishio595/disml!3
Diffstat (limited to 'dune')
-rw-r--r--dune4
1 files changed, 2 insertions, 2 deletions
diff --git a/dune b/dune
index 295e841..b8d2700 100644
--- a/dune
+++ b/dune
@@ -1,5 +1,5 @@
(library
- (name animus)
+ (name disml)
(modules endpoints http client sharder opcode)
(libraries lwt cohttp cohttp.lwt yojson websocket websocket-lwt-unix zlib)
)
@@ -8,7 +8,7 @@
(executable
(name bot)
(modules bot)
- (libraries lwt animus)
+ (libraries lwt disml)
)
(include_subdirs unqualified) \ No newline at end of file