Revision c3d1af1ec258cc17744fdcef954c50be0c0ef08e

Committed on 02/11/2013 4:29 am by Gaetano Giunta <[email protected]> [GitHub Diff]

Better gitignore