Commit 788c5f1ca853c739d006de4408e3acb2f5858baa

Carlos Martín Nieto 2015-01-09T10:23:08

Merge pull request #2810 from ethomson/remove_symlinks Remove symlinks from the repository