Completed
Pull Request — master (#16)
by
unknown
20:01
created

Changes

3.93
▼   -2.18
Test Coverage
93%
▶ ±0%
Head
Dirk Wenzel  
Merge 37037b5b4b4d6ca047671c89967f51922d440615 into 8da14867b709e8776d9f6272faaf844aefc695e3
6 more commits
Base
Bernhard Schussek  
Merge pull request #13 from webmozart/ci