Don't need .gitmodules when there's nothing in it.