Completed
Pull Request — master (#183)
by
unknown
02:04 queued 01:33
created

No notable changes

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

???
Head
Andrea Giannantonio  
Merge 0bc891a476a5ee0a25c5ce487d7f330803eb189f into 9095ac2054a39c2bd8f015a45effc68ba1bf78b9
1 more commit
Base
Giulio De Donato  
Merge pull request #158 from raphaelstolt/addition-gitattributes-badge