Sebastian Huber 80df4d6a47 c-user: Split up user extensions manager ...

This makes it easier to automatically generate parts of the manager
documentation in the future.

Update #3993.

2020-09-02 17:59:05 +02:00

..

background.rst

c-user: Split up user extensions manager

2020-09-02 17:59:05 +02:00

directives.rst

c-user: Split up user extensions manager

2020-09-02 17:59:05 +02:00

index.rst

c-user: Split up user extensions manager

2020-09-02 17:59:05 +02:00

introduction.rst

c-user: Split up user extensions manager

2020-09-02 17:59:05 +02:00