using dolt

From: Jean Bréfort <jean.brefort_at_normalesup.org>
Date: Thu May 08 2008 - 13:56:25 CEST

Hi,

attached patch allows some optimisation (25% for me on a full build
including autogen.sh, so a bit more for just make).

Cheers,
Jean

Received on Thu May 8 13:56:31 2008

This archive was generated by hypermail 2.1.8 : Thu May 08 2008 - 13:56:31 CEST