Philipp Muens 9ead01010b Rename plugin names in docs
Rename the plugin names in docs so that they are more human readable and easier to understand.
2016-06-17 09:19:32 +02:00
..
2016-06-17 09:19:32 +02:00
2016-06-17 08:43:51 +02:00
2016-06-17 08:43:51 +02:00
2016-06-17 08:43:51 +02:00
2016-06-17 08:43:51 +02:00
2016-06-16 21:24:09 +02:00