Revision 23069581df1dc62cff344f0fed32a5b49b7a0be7

Committed on 01/11/2013 6:21 pm by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

fix tasks involving copying of source files; fix default task