Deleted obsolete file.