Sun, 22 Apr 2018 19:21:44 +0200
eric6, PluginManager: added the '--disable-plugin=' option to disable plug-ins via the command line.
6267
350655a6c85f
eric6, PluginManager: added the '--disable-plugin=' option to disable plug-ins via the command line.
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
6266
diff
changeset
|
1 | (binary:application/octet-stream) |