On Mon, 10 Jan 2000 18:43:23 +0000, alex <alex@xxxxxxxxxxxxxxxxxxxxxxx> 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. Kelly
