Mon, 15 May 2017 18:36:49 +0200
Added an option to the plug-in manager to cleanup the plug-ins download area during startup.
5739
a870f5f03baa
Added an option to the plug-in manager to cleanup the plug-ins download area during startup.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
5737
diff
changeset
|
1 | (binary:application/octet-stream) |