diff hgeditor @ 15456:abcaaf51d568

phases: handle unknown nodes in boundary We filter unknown node out of the boundary. No data is lost. A filtering is explicitly done after strip too
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 07 Nov 2011 13:20:22 +0100
parents 2b440bb8a66b
children 1aee2ab0f902
line wrap: on
line diff