diff hotspot/.project @ 5228:e0f17fb3e7d2

Do not split merges when they are used to anchor some values
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 11 Apr 2012 11:37:24 +0200
parents 67f52d18d01f
children 7564f0469116
line wrap: on
line diff