Revision 01c25fb9863f6e0e0a9fcbe79bfb5ea59032be7c

Committed on 15/10/2013 5:10 am by Madeline VEYRENC <[email protected]> [GitHub Diff]

Remove empty line at the end of the file