diff Resources/EmbedResources.py @ 2711:ef97db3760ed jobs

integration mainline->jobs
author Sebastien Jodogne <s.jodogne@gmail.com>
date Mon, 09 Jul 2018 10:53:13 +0200
parents e0d600882ed2
children 4e43e67f8ecf
line wrap: on
line diff