Code

use wget instead of curl#229

Code

Closed

suhrig wants to merge 2 commits intonf-core:devnf-core/fetchngs:devfrom suhrig:more_robust_downloads_with_wgetCopy head branch name to clipboard

+37-15

Commits

Commits on Oct 18, 2023

• use wget instead of curl

  suhrig

  committed
  4e61f76

  Copy full SHA for 4e61f76

• shorten column by one dash as suggested by prettier

  suhrig

  committed
  e979d43

  Copy full SHA for e979d43