Merge branch 'c-cube:master' into master

This commit is contained in:
Christophe Raffalli 2021-12-08 11:48:58 -10:00 committed by GitHub
commit b394527709
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -1,5 +1,5 @@
opam-version: "2.0" opam-version: "2.0"
version: "0.9" version: "0.10"
authors: ["Simon Cruanes"] authors: ["Simon Cruanes"]
maintainer: "simon.cruanes.2007@m4x.org" maintainer: "simon.cruanes.2007@m4x.org"
license: "MIT" license: "MIT"

View file

@ -1,5 +1,5 @@
opam-version: "2.0" opam-version: "2.0"
version: "0.9" version: "0.10"
authors: ["Simon Cruanes"] authors: ["Simon Cruanes"]
maintainer: "simon.cruanes.2007@m4x.org" maintainer: "simon.cruanes.2007@m4x.org"
license: "MIT" license: "MIT"