24 Dec
2013
24 Dec
'13
5:19 p.m.
On 12/24/2013 06:17 PM, Bjørn Roald wrote:
right, see my reply to Peter on this, copy-paste error of mine. Should have been.
git reset --hard 3239677c40b6e15d1bb49675cabb077460333538
OK, I try again. git reset --hard 802543fd948b5cf41460addf2260693f08cf7f8d -- Bjørn