diff options
| author | polwex <polwex@sortug.com> | 2025-06-22 14:32:59 +0700 |
|---|---|---|
| committer | polwex <polwex@sortug.com> | 2025-06-22 14:32:59 +0700 |
| commit | 20cc3637c7268ceb8ca18ce55027ad8584e1cfd8 (patch) | |
| tree | 343b364da65444e96c7e986c13c9faba1f853102 /bs5/server/dune | |
| parent | 71c20233ff79e696d0eeca2ce1462d3083fbcfed (diff) | |
checkpoint
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 |