Remove an useless opening directive.
authorGreg Burri <greg.burri@gmail.com>
Fri, 3 Nov 2017 20:22:14 +0000 (21:22 +0100)
committerGreg Burri <greg.burri@gmail.com>
Fri, 3 Nov 2017 20:22:14 +0000 (21:22 +0100)

No differences found