diff Plugins/WSI/Run.py @ 636:685022ee236c

fix
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 02 Apr 2024 18:44:09 +0200
parents 8aa101e126d0
children 9f8276ac1cdd
line wrap: on
line diff