March 29, 2010
1:12 p.m.
On Mar 29, 2010, at 3:08 PM, Stéphane Ducasse wrote:
Because I'm about to remove them because they introduce a lot of noise in the changeset and changesorter.
I don't think that they where ever used.... at least I didn't even know that exist. And they are broken since a while. Marcus -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.