diff options
Diffstat (limited to 'portal/lib/dune')
| -rw-r--r-- | portal/lib/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/lib/dune b/portal/lib/dune index 1a330b9..736a2d4 100644 --- a/portal/lib/dune +++ b/portal/lib/dune @@ -1,4 +1,4 @@ (library (public_name portal) (virtual_modules portal) - (libraries lwt)) + (libraries lwt markup markup-lwt)) |