Revision 6b9b98d4d504e1bdd122abd67b5ca6b36d42ebdc

Committed on 05/11/2013 12:50 pm by Gaetano Giunta <giunta.gaetano@gmail.com> [GitHub Diff]

Fix sharedlocks not taking over expired locks; fix init of repo from local files; when cleaning sources remove .idea and vendor/ as well

Share your information