diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-06-15 15:45:11 +0200 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-06-15 15:45:11 +0200 |
| commit | 59ab4142a3887c0b34719bb0e56b820ee71d0ca7 (patch) | |
| tree | 2e1759c689ad8aeb75b01e036e7cf96dd6b51822 /bin | |
| parent | e5a5c9b7718a79e498135eea71add0d6b71a8779 (diff) | |
Factor out main ogit module from ogit bin.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/dune | 4 | ||||
| -rw-r--r-- | bin/main.ml | 2 |
2 files changed, 4 insertions, 2 deletions
@@ -1,4 +1,6 @@ +;;; -*- mode: lisp; -*- + (executable (public_name ogit) (name main) - (libraries ogit dream)) + (libraries ogit)) diff --git a/bin/main.ml b/bin/main.ml index 5fcd6cf..2b3d552 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1 +1 @@ -let () = Dream.run @@ Dream.logger @@ Dream.router Ogit.Handlers.all_handlers +let () = Ogit.Main.run () |