diff tests/run-tests.py @ 126:c083fb43daee

obsolete: stop using rev as it rebuild the cache every time there is a fault We now use nodemap directly
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Sun, 08 Jan 2012 18:43:49 +0100
parents aa0870d093b8
children 6ee7add34f8b
line wrap: on
line diff