Skip to content

Fall back to the GitHub mirror when cloning Eigen fails - #276

Closed
zfergus wants to merge 1 commit into
mainfrom
eigen-github-fallback
Closed

Fall back to the GitHub mirror when cloning Eigen fails#276
zfergus wants to merge 1 commit into
mainfrom
eigen-github-fallback

Commits

  1. Commits on Oct 21, 2026