Merge pull request #52 from gpilisi/master
authorElemer Lelik <erititan@users.noreply.github.com>
Thu, 28 Apr 2016 06:54:53 +0000 (08:54 +0200)
committerElemer Lelik <erititan@users.noreply.github.com>
Thu, 28 Apr 2016 06:54:53 +0000 (08:54 +0200)
Modified make check behavior


Trivial merge
This page took 0.0465 seconds and 5 git commands to generate.