1
0
Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'
by Satish Balay 26 Feb '21
by Satish Balay 26 Feb '21
26 Feb '21
1
0
Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'
by Satish Balay 26 Feb '21
by Satish Balay 26 Feb '21
26 Feb '21
1
0
Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'
by Pierre Jolivet 26 Feb '21
by Pierre Jolivet 26 Feb '21
26 Feb '21
1
0
Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'
by Satish Balay 26 Feb '21
by Satish Balay 26 Feb '21
26 Feb '21
1
0
Re: [petsc-dev] headsup: switch git default branch from 'master' to 'main'
by Patrick Sanan 26 Feb '21
by Patrick Sanan 26 Feb '21
26 Feb '21
1
0
Re: [petsc-dev] [petsc-users] headsup: switch git default branch from 'master' to 'main'
by Lisandro Dalcin 23 Feb '21
by Lisandro Dalcin 23 Feb '21
23 Feb '21
1
0
1
0
1
0
1
0