Repository navigation

Don't download packs when it isn't needed - #998

Merged

edoardopirovano merged 1 commit into

mainfrom

edoardo/no-download-pack

Mar 25, 2022

Merged

Don't download packs when it isn't needed#998
edoardopirovano merged 1 commit into
mainfrom
edoardo/no-download-pack

Commits on Mar 25, 2022
- Don't download packs when it isn't needed
  edoardopirovano
  committed
  85cfdb2