Jens Steube 01738fafa0 Deprecated Plugins: Add new module function module_deprecated_notice() to mark a plugin as deprecated and to return a free text user notice ...

Added option --deprecated-check-disable to enable deprecated plugins

2021-08-10 17:59:52 +02:00

..

tab_completion

Deprecated Plugins: Add new module function module_deprecated_notice() to mark a plugin as deprecated and to return a free text user notice

2021-08-10 17:59:52 +02:00