Merge pull request #173 from jonboulle/master
authorStefan Junker <steveeJ@users.noreply.github.com>
Sat, 2 Apr 2016 13:22:40 +0000 (15:22 +0200)
committerStefan Junker <steveeJ@users.noreply.github.com>
Sat, 2 Apr 2016 13:22:40 +0000 (15:22 +0200)
*: add missing license headers + check


Trivial merge