diff mercurial/extensions.py @ 5900:1206e3dfc906

repair.py: nodes are nodes, revs are revs Use "striprev" instead of just "rev" to make the patch a bit less confusing. This is also a bit clearer than just "revnum".
author Alexis S. L. Carvalho <alexis@cecm.usp.br>
date Sat, 19 Jan 2008 18:01:16 -0200
parents b12432b1c2c7
children f8a86ea7521b
line wrap: on
line diff