Merge pull request #3622 from rolfbjarne/remove-stray-file
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Fri, 23 Sep 2016 12:31:43 +0000 (14:31 +0200)
committerGitHub <noreply@github.com>
Fri, 23 Sep 2016 12:31:43 +0000 (14:31 +0200)
Remove stray file.


Trivial merge