Skip to content

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

Draft
Zimmi48 wants to merge 1 commit intomasterfrom dependency-description-or-opam-name
+1-1

Commits

Commits on May 5, 2020