Closed c-cube closed 7 years ago
plugins:
Plugins can be optionally compiled (with opam), and loaded only if required. Also, they can have their own section in the config file.
Let's do IPC and multi processes instead.
plugins:
Plugins can be optionally compiled (with opam), and loaded only if required. Also, they can have their own section in the config file.