Completed
Pull Request — master (#184)
by
unknown
27s
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Giulio De Donato  
Merge pull request #184 from bsramin/remove_pledgie
1 more commit
Base
Giulio De Donato  
Merge pull request #158 from raphaelstolt/addition-gitattributes-badge