| Wed, 31 Jan 2018 11:29:17 +0100 | Edouard Tisserant | Better have globals passed to python extensions (-e) than locals. | changeset | files |
| Wed, 31 Jan 2018 11:21:08 +0100 | Edouard Tisserant | launcher : move call to ShowSplashScreen and BackgroundInitialization to PreStart() | changeset | files |