diff options
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/dune-project b/dune-project index 699cf6c..38ac281 100644 --- a/dune-project +++ b/dune-project @@ -44,12 +44,9 @@ xmlm markup markup-lwt - (flesh - (and (= :version) - :with-test)) (merlin :with-test) (utop :with-test)) (tags - (xmpp flesh websockets lwt))) + (xmpp flesh portal websockets lwt))) ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project |