Re: [petsc-dev] navigating gitlab

On Mon, 18 Jan 2021, Mark Adams wrote:

> BTW, how do you get that URL? I searched commits for it and did not find it.


Alternative:

gitk 7ba7a8179202d83658a309df68e2ebc2037284d4

git show 7ba7a8179202d83658a309df68e2ebc2037284d4

Satish

Reply via email to