log sat/plugins/plugin_misc_app_manager.py @ 3801:6952a002abc7

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