May 28, 2011
9:38 a.m.
On May 28, 2011, at 11:31 AM, Stéphane Ducasse wrote:
should we not modify that?
We should remove it. -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.