diff Resources/EmbedResources.py @ 2695:c4ee0bedb51b jobs

some reserved global properties for plugins
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 03 Jul 2018 14:59:54 +0200
parents e0d600882ed2
children 4e43e67f8ecf
line wrap: on
line diff