diff Plugins/WSI/Run.py @ 580:f4579c9ec73b

fix timing
author Alain Mazy <am@osimis.io>
date Mon, 11 Sep 2023 09:09:26 +0200
parents e6cee85fe421
children 8aa101e126d0
line wrap: on
line diff