[android] Fix eigen URL (!93) · Merge requests · Sysadmin / CI Tooling · GitLab

This is an archived project. Repository and other project resources are read-only.

Nicolas Fella requested to merge nicolasfella/ci-tooling:work/eigen into master Sep 08, 2020

They moved to gitlab and the URL changed