This file can be deleted if there are any other files present in this folder.
It is only here to ensure this folder is added to Git, instead of being
ignored because it is empty.