beremiz

python runtime: fix behaviour of -s CLI option when given file doesn't exist.

15 months ago, Edouard Tisserant
8a9986e26dfc
python runtime: fix behaviour of -s CLI option when given file doesn't exist.
SVGHMI
======
Contents:
.. toctree::
:maxdepth: 2
intro
syntax
pages
clones
groups
variables
configuration
i18n
fonts
hacking
widgets
library