Merge pull request #592 from wernsaar/develop
authorwernsaar <wernsaar@googlemail.com>
Mon, 8 Jun 2015 12:22:02 +0000 (14:22 +0200)
committerwernsaar <wernsaar@googlemail.com>
Mon, 8 Jun 2015 12:22:02 +0000 (14:22 +0200)
added benchmark scripts


Trivial merge