diff options
| author | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:13:31 +0100 |
|---|---|---|
| committer | Marius Peter <marius.peter@tutanota.com> | 2025-01-25 19:13:31 +0100 |
| commit | 7b6d34b3e73a5a5fb9593a8e33de36d6fdd54bda (patch) | |
| tree | 22c315c66b8c3461918d250f9b6ab8331afcb3f7 /dune-project | |
| parent | dc2aec71a82ebe9c8432a9867579bba6f1d87990 (diff) | |
Update dune-project stanzas.
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dune-project b/dune-project index c17bde7..e292713 100644 --- a/dune-project +++ b/dune-project @@ -4,9 +4,6 @@ (generate_opam_files true) -(source - (github username/reponame)) - (authors "Marius Peter") (maintainers "Marius Peter") @@ -17,7 +14,7 @@ (package (name ogit) - (synopsis "Replacement for cgit") + (synopsis "Mobile-friendly replacement for cgit") (description "A longer description") (depends ocaml @@ -25,6 +22,6 @@ dream git) (tags - (topics "to describe" your project))) + (git "web interface"))) ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html |