tree a1d9818d6211f88d32abf1fead88e534563b6232
parent 010db0b13fc031fb3c7fb0d6758ceed0aa92f12d
author Marc Kupietz <kupietz@ids-mannheim.de> 1787889088 +0300
committer Marc Kupietz <kupietz@ids-mannheim.de> 1787889088 +0300

docs: state default plugin set and reframe stock themes as rarely used alternatives

Change-Id: Id5a37a34b4351fe17fa5c4d32572db6da2d44f04