4296305171
This makes the somewhat-dubious assumption that every plugin will have uniquely- named documentation files, instead of automatically putting every plugin's docs into a namespace. However, plugins already have to deal with flat namespaces for commands, options, filetypes, etc. so one more shouldn't hurt. Fixes #2466. |
||
---|---|---|
.. | ||
detection | ||
filetype | ||
tools | ||
windowing |