Revision 7ced99e994f1243ec3333033365e71480d58bb3f

Committed on 25/10/2013 9:37 am by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Fix missing package_master; finish new dir layout; more doc updates

Share your information