[EMAIL PROTECTED] writes: > Does anyone know how this is meant to be done; ie, why is > /usr/bin/time so lame on Linux? "Master," I complained, "the programmer who wrote this code is lazy! The bug is simple to correct and yet he's done nothing about it." My Master raised his eyebrows and asked, "why, then, have you not fixed it yourself?" I was then enlightened. -- Han-Wen Nienhuys, [EMAIL PROTECTED] ** GNU LilyPond - The Music Typesetter http://www.cs.uu.nl/people/hanwen/lilypond/index.html
- LilyPond 1.3.53 Han-Wen Nienhuys
- Re: LilyPond 1.3.53 Jan Nieuwenhuizen
- Re: LilyPond 1.3.53 Mats Bengtsson
- Re: LilyPond 1.3.53 Jan Nieuwenhuizen
- Re: LilyPond 1.3.53 Han-Wen Nienhuys
- Re: LilyPond 1.3.53 Jan Nieuwenhuizen