Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
configure: /usr/bin/python might not exist in newer distributions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Jose E. Roman
requested to merge
jose/maint/usr_bin_python
into
maint
May 28, 2020
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
Related MR
petsc/petsc!2818 (merged)
Merge request reports
Loading