diff bin/sat @ 3246:5ba0b1cdd45b

tools (common/files_utils): put extra suffix before file extension
author Goffi <goffi@goffi.org>
date Wed, 01 Apr 2020 22:29:43 +0200
parents 0b6d56a8f7e3
children e81ad34e8af8
line wrap: on
line diff