annotate sat/VERSION @ 3565:d66a8453b02b

plugin app manager: add a way to create files: a `files` field can now be used to create files on the fly. Its value must be a dict where key are file names, and values are an other dict with file data. For now file data can only use the `content` key. Value of content will be written to the file. If a file already exists, it is not overwritten.
author Goffi <goffi@goffi.org>
date Sat, 12 Jun 2021 15:10:49 +0200
parents ff5bcb12ae60
children efe2445b053c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3027
ff5bcb12ae60 0.8 development starts
Goffi <goffi@goffi.org>
parents: 3025
diff changeset
1 0.8.0D