-
Michele Tartara authored
The index page of the documentation used to be just a list of links. Now it is a proper introduction to all the other pages. Fixes Issue 424. Signed-off-by: Michele Tartara <mtartara@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
96357135