diff options
author | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-05 00:14:45 -0300 |
---|---|---|
committer | Mateus Cruz <mateuscolvr@gmail.com> | 2024-02-05 00:42:06 -0300 |
commit | f0142aa1c3b4d7c2fd0b70c9e62c1ec033e445c2 (patch) | |
tree | 7f979459a60365f16197889d2ec660847141d42a /rinhadebackend.opam | |
parent | f3ac99a84497868aded8ee7ec2822d1b12960fd7 (diff) |
add basic route handling
Diffstat (limited to 'rinhadebackend.opam')
-rw-r--r-- | rinhadebackend.opam | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/rinhadebackend.opam b/rinhadebackend.opam deleted file mode 100644 index 3b957d2..0000000 --- a/rinhadebackend.opam +++ /dev/null @@ -1,31 +0,0 @@ -# This file is generated by dune, edit dune-project instead -opam-version: "2.0" -synopsis: "A short synopsis" -description: "A longer description" -maintainer: ["Maintainer Name"] -authors: ["Author Name"] -license: "LICENSE" -tags: ["topics" "to describe" "your" "project"] -homepage: "https://github.com/username/reponame" -doc: "https://url/to/documentation" -bug-reports: "https://github.com/username/reponame/issues" -depends: [ - "ocaml" - "dune" {>= "3.13"} - "odoc" {with-doc} -] -build: [ - ["dune" "subst"] {dev} - [ - "dune" - "build" - "-p" - name - "-j" - jobs - "@install" - "@runtest" {with-test} - "@doc" {with-doc} - ] -] -dev-repo: "git+https://github.com/username/reponame.git" |