diff Resources/EmbedResources.py @ 1801:2c60c357ee3e worklists

sdk primitives to handle worklists
author Sebastien Jodogne <s.jodogne@gmail.com>
date Fri, 20 Nov 2015 14:33:41 +0100
parents 39ecd34fb1c7
children b1291df2f780
line wrap: on
line diff