summaryrefslogtreecommitdiff
path: root/portal/lib/dune
blob: 1a330b99d74e4a6b46d12fded712c63860f4c0bc (plain) (blame)
1
2
3
4
(library
 (public_name portal)
 (virtual_modules portal)
 (libraries lwt))