diff Resources/EmbedResources.py @ 1810:796d0b087fb8 worklists

more consistent naming in worklist primitives
author Sebastien Jodogne <s.jodogne@gmail.com>
date Mon, 23 Nov 2015 17:09:27 +0100
parents 39ecd34fb1c7
children b1291df2f780
line wrap: on
line diff