diff Resources/EmbedResources.py @ 1488:c8763b603b0e

flag for plugins
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 04 Aug 2015 10:54:13 +0200
parents bf9b8bfea0e7
children 39ecd34fb1c7
line wrap: on
line diff