diff hgwebdir.cgi @ 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 d74fc8dec2b4
children b913d3aacddc
line wrap: on
line diff