Code

Add plugin flag to opam-0install#20112

Code

Closed

dra27 wants to merge 1 commit intoocaml:masterocaml/opam-repository:masterfrom dra27:0install-plugindra27/opam-repository:0install-pluginCopy head branch name to clipboard

+5

Commits

Commits on Nov 26, 2021

• Add plugin flag to opam-0install

  dra27

  committed
  1203442