Revision 76599db0390970aed61be20da18070af41dd85a1

Committed on 09/01/2015 4:41 am by Fabien Jarnet <[email protected]> [GitHub Diff]

Delete right panel infos