doc: move tools to user-manual; general update of developer-manual
Signed-off-by:
Alessandro Rubini <rubini@gnudd.com>
This diff is collapsed.
Please register or sign in to comment
Signed-off-by:
Alessandro Rubini <rubini@gnudd.com>