diff Makefile @ 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 3fd4dde37628
children 02e358a3a8a7
line wrap: on
line diff