images/splash.png
author Edouard Tisserant
Wed, 24 Jan 2018 14:48:49 +0100
changeset 1905 87c908079bc6
parent 809 b86b8898fd52
child 968 eee7625de1f7
child 1641 24168e52fc2b
child 3568 494c90b895ad
permissions -rw-r--r--
Changed way to deal with extensions arguments (-e) so that path and filename are stored independently and accessible for extensions themselves.
809
b86b8898fd52 Stripped out splash screen version information
Edouard Tisserant
parents: 711
diff changeset
     1
(binary:image/png)