Unnecessary file left over from a previous merge.