Merge pull request #6362 from fredj/cleanup

Remove empty file
This commit is contained in:
Frédéric Junod
2017-01-12 16:22:59 +01:00
committed by GitHub