diff Makefile @ 1983:4864ddc4c6d9

destmerge: improve topic head computation and handling This rework get use two benefits: - heads are now computed on a "stabilized" state, - heads above the 'source' are now properly cleaned up,
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Mon, 15 Aug 2016 05:25:53 +0200
parents 9d1157fcdc6c
children 143c8e4dc22d
line wrap: on
line diff