Andreas Jaeger 2964094889 Remove unused extensions ...

All mentioned Sphinx extensions are not used in current code. Remove
them - they can be added back once they are needed.

Change-Id: Id49890f355f51b237de5339366d034f76bcb8af6

2016-02-28 20:24:33 +01:00

..

training-guides

Remove unused extensions

2016-02-28 20:24:33 +01:00

upstream-training

Remove unused extensions

2016-02-28 20:24:33 +01:00