Merge branch 'master' of gitlab.science.ru.nl:mlubbers/ssproject1617
authorDaan Sprenkels <dsprenkels@gmail.com>
Fri, 18 Nov 2016 11:07:31 +0000 (12:07 +0100)
committerDaan Sprenkels <dsprenkels@gmail.com>
Fri, 18 Nov 2016 11:07:31 +0000 (12:07 +0100)

Trivial merge