diff COPYING @ 756:379c7837222f

replay: extract externals updating from convert_rev() Partially revert 45ce07a4807f
author Patrick Mezard <pmezard@gmail.com>
date Fri, 19 Nov 2010 17:07:13 +0100
parents c07bcdc6e1bd
children
line wrap: on
line diff