History | View | Annotate | Download (596 Bytes)
Move developer notes into normal documentation
Signed-off-by: Michael Hanselmann <hansmi@google.com>Reviewed-by: Guido Trotter <ultrotter@google.com>