diff Resources/EmbedResources.py @ 2671:06c0a6b8a871 jobs

new command-line argument: --no-jobs
author Sebastien Jodogne <s.jodogne@gmail.com>
date Mon, 11 Jun 2018 09:20:04 +0200
parents 878b59270859
children e0d600882ed2
line wrap: on
line diff