Thomas de Grenier de Latour <[EMAIL PROTECTED]> writes: > Ok, i've just `man tla` and checked out the dev tree a few > minutes ago, so from now i should stop asking for things you've > already done :)
So you should see that I have implemented you --logfile option. ;) Yours, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE <[EMAIL PROTECTED]> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A _______________________________________________ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev