Revision 546ba25b5d4c9905a6b895276b982c76492e5ba4

Committed on 28/02/2015 1:49 am by Philippe Vincent-Royol <[email protected]> [GitHub Diff]

Remove specific files from gitignore