Code

Add option for custom shared libs#250

Code

Open

gledis69 wants to merge 1 commit intodevelopcitusdata/tools:developfrom allow-citus-dev-to-add-custom-shared-libscitusdata/tools:allow-citus-dev-to-add-custom-shared-libsCopy head branch name to clipboard

+12-3

Commits

Commits on Oct 4, 2022

• Add option for custom shared libs

  gledis69

  committed
  c0d6a05