Add missing devrepo

sporto · Oct 1, 2021 · 13b4b53 · 13b4b53
1 parent 3503954
commit 13b4b53
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -10,6 +10,9 @@
 
 (homepage "https://github.com/sporto/jwto")
 
+(source
+ (github "sporto/jwto"))
+
 (bug_reports "https://github.com/sporto/jwto")
 
 (generate_opam_files true)

diff --git a/jwto.opam b/jwto.opam
@@ -33,3 +33,4 @@ build: [
     "@doc" {with-doc}
   ]
 ]
+dev-repo: "git+https://github.com/sporto/jwto.git"
-Original file line number
+Diff line change
@@ Expand Up / @@ -33,3 +33,4 @@ build: [ @@
         "@doc" {with-doc}
       ]
     ]
+    dev-repo: "git+https://github.com/sporto/jwto.git"