On Thu, 2010-08-12 at 18:15 +0100, Christian Ebert wrote: > I see quite a lot of trailing whitespace, e.g. on empty lines, > in the new *.t files, ahem, <duck> Yeah, we're going to need to teach check-code about these files too. -- Mathematics is the supreme nostalgia of our time.