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

Rename description field of dependencies and add a default value.

1c57121
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs