On Mon, 10 Jan 2000 18:43:23 +0000, alex <[EMAIL PROTECTED]> said:

>Maybe the earlier splash images were only distributed in GIF format,
>but then they moved to PPM after Burn All GIFs? Just a guess.

The splash images have always been PPMs.

You can retrieve all of them (at least since 1.00) from CVS by
requesting specific versions of the splash file.


Reply via email to