doc/user.rst: move plugin reference to plugins.rst

This commit is contained in:
Max Kellermann
2018-10-30 22:27:42 +01:00
parent 56112a237c
commit f649ec1fd8
3 changed files with 1080 additions and 1080 deletions

File diff suppressed because it is too large Load Diff