Code

Add :no-umbrella config option#481

Code

Merged

jeremyjh merged 1 commit intojeremyjh:masterjeremyjh/dialyxir:masterfrom pnezis:no-umbrella-cdpnezis/dialyxir:no-umbrella-cdCopy head branch name to clipboardMar 19, 2023

+56-1

Commits

Commits on Mar 14, 2023

• Add :no_umbrella config option

  Show description for ed0df65
  pnezis

  committed
  ed0df65