aboutsummaryrefslogtreecommitdiff
path: root/lib/dune
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-10 02:03:01 +0200
committerClombrong <cromblong@egregore.fun>2025-06-10 02:03:01 +0200
commitaf41ba0181d0f23591d7b82d3425c419c8ba73da (patch)
tree18bbdd8190c04dd88a04f950ee5b6d7f4a1f32ab /lib/dune
parent1767babf41d81cce5df7a4e221983cf99c850b44 (diff)
feat(auth): wrap plain auth in <auth> stanza
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/dune b/lib/dune
index 645b8b9..15220c8 100644
--- a/lib/dune
+++ b/lib/dune
@@ -3,5 +3,6 @@
(libraries
lwt
base64
- portal)
+ portal
+ markup)
(preprocess (pps ppx_deriving.show)))