Snippets Groups Projects

Commit ec7b5478 authored 2 years ago by Mathis Kelm

Merge branch '1240-installexternal-py-fails-to-download-metis' into 'master'

Resolve "installexternal.py fails to download METIS"

Closes #1240

See merge request !3554

parents 77accf3b 5614b385

No related branches found

No related tags found

1 merge request!3554Resolve "installexternal.py fails to download METIS"

Pipeline #31690 passed 2 years ago

Hide whitespace changes

Inline Side-by-side

Showing with 3 additions and 5 deletions

Mathis Kelm @mathis
mentioned in commit 583c484a
· 2 years ago

mentioned in commit 583c484a

mentioned in commit 583c484a604132c48270ec01961fa3814350a136

Toggle commit list
Hamza Oukili @houkili
mentioned in commit 7489064f
· 2 years ago

mentioned in commit 7489064f

mentioned in commit 7489064fa308ce0fe9d526676e4d7a451fcebd58

Toggle commit list

Please register or to comment