Re: [petsc-dev] navigating gitlab

18 Jan 2021


      Thanks, this works.

gitk 7ba7a8179202d83658a309df68e2ebc2037284d4
...
git show 7ba7a8179202d83658a309df68e2ebc2037284d4
Satish

Mark Adams