« Previous | Next » 

Revision 96357135

ID96357135663b53b8d2f842a575c8cd7ad8ee3168
Parent c472667f

Added by Michele Tartara almost 8 years ago

Restructure documentation index page

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 <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences