mirror of
https://github.com/storytold/vectorcraft.git
synced 2026-11-12 07:45:38 +00:00
Plug-ins: a failed rename back of a removed plug-in's settings is reported and undone later
Plug-ins: a failed rename back of a removed plug-in's settings is reported and undone later