Revision 546ba25b5d4c9905a6b895276b982c76492e5ba4

Committed on 28/02/2015 1:49 am by Philippe Vincent-Royol <vincent.royol@gmail.com> [GitHub Diff]

Remove specific files from gitignore