adapt to opam lint
This commit is contained in:
parent
eba43a65cb
commit
79dd40ba70
1 changed files with 4 additions and 0 deletions
|
@ -0,0 +1,4 @@
|
|||
opam-version: "2.0"
|
||||
maintainer: "Robur Team <team@robur.coop>"
|
||||
authors: "Robur Team <team@robur.coop>"
|
||||
synopsis: "Not empty"
|
Loading…
Reference in a new issue