Revision 55d6daa08d747e8510c5dd61a5fb038a2931c47f

Committed on 02/11/2013 4:09 am by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Add a new task grouping all code-checks