Régis Behmo a41f2a5ca8 Rename "featuretoggles" docs target to "technical" ...

We also split the feature toggle and settings docs in different pages.

2020-10-01 16:35:48 +02:00

..

.gitignore

Rename "featuretoggles" docs target to "technical"

2020-10-01 16:35:48 +02:00

conf.py

Rename "featuretoggles" docs target to "technical"

2020-10-01 16:35:48 +02:00

featuretoggles.rst

Rename "featuretoggles" docs target to "technical"

2020-10-01 16:35:48 +02:00

index.rst

Rename "featuretoggles" docs target to "technical"

2020-10-01 16:35:48 +02:00

Makefile

Rename "featuretoggles" docs target to "technical"

2020-10-01 16:35:48 +02:00

settings.rst

Rename "featuretoggles" docs target to "technical"

2020-10-01 16:35:48 +02:00