Skip to content

Rename description field of dependencies and add a default value. - #27

Draft
Zimmi48 wants to merge 1 commit into
masterfrom
dependency-description-or-opam-name
Draft

Rename description field of dependencies and add a default value.#27
Zimmi48 wants to merge 1 commit into
masterfrom
dependency-description-or-opam-name

Commits

Commits on May 5, 2020