diff options
Diffstat (limited to 'bs5/server/dune')
| -rw-r--r-- | bs5/server/dune | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bs5/server/dune b/bs5/server/dune index 19ff1eb..d0a8aca 100644 --- a/bs5/server/dune +++ b/bs5/server/dune @@ -1,8 +1,6 @@ ; (include_subdirs qualified) (executable - (enabled_if - (= %{profile} "dev")) (name server) (modules server) (libraries |