diff Plugins/Worklists/Run.py @ 159:616da104a996

fix for ubuntu 18.04
author am@osimis.io
date Fri, 17 Aug 2018 14:49:59 +0200
parents 50cd127e5330
children d468cbe1b161
line wrap: on
line diff