Sébastien Helleu 6532c9a538 fset: fix priority of plugin (load it after all other plugins) ...

This fixes a refresh problem of options after /upgrade in fset buffer.

2017-07-08 14:46:33 +02:00

..

plugin_api

fset: fix priority of plugin (load it after all other plugins)

2017-07-08 14:46:33 +02:00

user

doc: update German auto-generated files

2017-07-06 08:24:59 +02:00