diff tests/test-convert-p4.out @ 15956:5653f2d166ea stable

push: prevent moving phases outside of the pushed subset
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Fri, 20 Jan 2012 21:21:13 +0100
parents ee8d9b93b316
children
line wrap: on
line diff