From 79dd40ba70ba9cbc9cb01402697cafb5733a64b0 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 26 Sep 2022 11:31:14 +0200 Subject: [PATCH] adapt to opam lint --- git-kv.opam | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/git-kv.opam b/git-kv.opam index e69de29..e54385e 100644 --- a/git-kv.opam +++ b/git-kv.opam @@ -0,0 +1,4 @@ +opam-version: "2.0" +maintainer: "Robur Team " +authors: "Robur Team " +synopsis: "Not empty"