Revision c3d1af1ec258cc17744fdcef954c50be0c0ef08e

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

Better gitignore