tree 413e1ad84ce15ee500d89e069f8aed58e7290061
parent f1e68cdc16685c66992feb540d4e7bffac5a02d8
author Matteo Scandolo <matteo.scandolo@gmail.com> 1504910625 -0700
committer Matteo Scandolo <matteo.scandolo@gmail.com> 1504910625 -0700

Fixing GUI docs

Change-Id: Ib77b2dbe2a5e6e78aab3fbee3948a83c0c39debb