Delete it. It's saved in Git, so we can recover it if necessary.