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/dune | |
| parent | e5a5c9b7718a79e498135eea71add0d6b71a8779 (diff) | |
Factor out main ogit module from ogit bin.
Diffstat (limited to 'bin/dune')
| -rw-r--r-- | bin/dune | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,4 +1,6 @@ +;;; -*- mode: lisp; -*- + (executable (public_name ogit) (name main) - (libraries ogit dream)) + (libraries ogit)) |