comparison sat_frontends/jp/xmlui_manager.py @ 3131:d6da17f6e4ce

tools (common/files_utils): fixed get_unique_name when `path` is a str and not a Path
author Goffi <goffi@goffi.org>
date Mon, 27 Jan 2020 19:53:31 +0100
parents d909473a76cc
children 9d0df638c8b4
comparison
equal deleted inserted replaced
3130:b9486a7f9b4f 3131:d6da17f6e4ce