Revision 5dbdd5ffdfe20a2f5ccdd1e1aa5418dc1f11eb96

Committed on 20/07/2012 12:13 pm by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Typo in help msg