> Looks good. Incidentally if you didn't find it there is a script > scripts/mkheaders.pl which can be used to update the various headers > automatically from the 'float' version.
Ah..good to know :-)
> Looks good. Incidentally if you didn't find it there is a script > scripts/mkheaders.pl which can be used to update the various headers > automatically from the 'float' version.
Ah..good to know :-)