diff tests/run-tests.py @ 15649:ca7c4254a21a

phases: add a function to compute heads from root
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Thu, 15 Dec 2011 02:18:24 +0100
parents 3e13ade423f0
children 58dcb837f193
line wrap: on
line diff