Remove an inexistant file
authorGreg Burri <greg.burri@gmail.com>
Sun, 11 Aug 2019 21:04:44 +0000 (23:04 +0200)
committerGreg Burri <greg.burri@gmail.com>
Sun, 11 Aug 2019 21:04:44 +0000 (23:04 +0200)

No differences found