The configuration has changed since Scrutinizer has last run. This page might contain changes that are not related to code modifications.
Head |
Jérémy Huet
Merge ce2fedbb52950534db93750acf42ee5200017e84 into 062f0593a9b9d3ff31054fadf9e38bb1556a81c0
|
---|---|
⋮ | 6 more commits |
Base |
Rick van der Staaij
Merge pull request #43 from RickvdStaaij/feature/remove-keys
|