images/splash.png
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Fri, 12 Oct 2018 13:24:47 +0300
changeset 2457 9deec258ab1a
parent 809 b86b8898fd52
child 968 eee7625de1f7
child 1641 24168e52fc2b
child 3568 494c90b895ad
permissions -rw-r--r--
python3 support: pylint, W1633 # (round-builtin) round built-in referenced

because round behavior is changed to default behavior in Python3
(Banker round). It can cause slight differences in some cases.
Mostly graphical editors are affected, there could be single pixel differences.
Now I couldn't locate any visual differences in test programs.
809
b86b8898fd52 Stripped out splash screen version information
Edouard Tisserant
parents: 711
diff changeset
     1
(binary:image/png)