diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2020-03-24 16:37:40 -0400 |
---|---|---|
committer | Dave Wallace <dwallacelf@gmail.com> | 2020-12-21 23:23:53 +0000 |
commit | d1598d4274f89b9e3ad87ddb4995fa0d7919503d (patch) | |
tree | cfff0a2877ee04a0720626c2eb306b2ab631f802 /docs/dynamic_includes/.gitkeep | |
parent | 1e44cf53b5611b46657f5742784ec85c35d36767 (diff) |
docs: update list of plugins
The list of plugins is outdated.
This change introduces a dynamically
generated list of the plugins along with their descriptions,
extracted directly from the sources.
Type: docs
Change-Id: Icb7b65e6b45289e257d71a1c18d10f62ced59cbe
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
(cherry picked from commit 630ca994e0ff210a3de80d73bb395c931d2fd83f)
Diffstat (limited to 'docs/dynamic_includes/.gitkeep')
-rw-r--r-- | docs/dynamic_includes/.gitkeep | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/dynamic_includes/.gitkeep b/docs/dynamic_includes/.gitkeep new file mode 100644 index 00000000000..e69de29bb2d --- /dev/null +++ b/docs/dynamic_includes/.gitkeep |