tree 30bfdfdb1aa3bf3dce4262fc9b151774174414e7
parent ee7010abd4a5d572ff67a69f9606723c76626752
author Francesco Guidieri <francesco.guidieri@gmail.com> 1438859738 +0200
committer Francesco Guidieri <francesco.guidieri@gmail.com> 1438859738 +0200

Updates on Documentation menu and other minors.

Images have been resized for optimizing loading time