log sat/plugins/plugin_misc_app_manager.py @ 3928:6c36eb30afb8

age author description
Sat, 12 Jun 2021 15:10:49 +0200 Goffi plugin app manager: add a way to create files: