Issue749

Title docs: add sections for plugins
Priority feature Status reviewing
Superseder Nosy List jendrik, malte
Assigned To jendrik Keywords
Optional summary
part of issue727

Created on 2017-11-29.17:05:04 by jendrik, last changed by jendrik.

Summary
part of issue727
Messages
msg6825 (view) Author: jendrik Date: 2018-03-14.13:53:13
I made a pull request at 
https://bitbucket.org/jendrikseipp/downward/pull-requests/79
and will add this to the review queue.
msg6631 (view) Author: jendrik Date: 2017-11-29.17:05:04
We want to add sections to the wiki documentation pages to group similar plugins.
History
Date User Action Args
2018-03-14 13:53:13jendriksetstatus: unread -> reviewing
assignedto: jendrik
messages: + msg6825
2017-11-29 17:05:04jendrikcreate