comparison tools/common.sh @ 814:d32735c507cd

stupid: use new patching facility introduced by adbf5e7df96d
author Patrick Mezard <pmezard@gmail.com>
date Wed, 15 Jun 2011 14:44:14 +0200
parents 5071b8511572
children
comparison
equal deleted inserted replaced
813:f07bfd66db13 814:d32735c507cd