Add dev-repo

Using git.data.coop !
2018-08-29 07:47:58 +02:00 · 2018-08-29 07:47:58 +02:00 · 2440395125
parent b15c59db4d
commit 2440395125
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -1,6 +1,7 @@
 opam-version: "1.2"
 maintainer: "Reynir Björnsson <reynir@reynir.dk>"
 authors: "Reynir Björnsson <reynir@reynir.dk>"
+dev-repo: "https://git.data.coop/reynir/reynir.opam.git"
 depends: [
  "user-setup"
  "merlin"